karimda's tags

15 abuse activity adaptation adaptations adaptive after aggregation algorithm an analyses and anomaly anticipation applications applying approach approache as at authentication automata automatic automation autonomic avoid base based between bgp bisimilarity boinc bpel bpm branching break-ins breeze bug built business by called can capabilities case cases change changes class client-server codesign coengineering coma common comparison compiliance compliance composition computations computer computing condec configuration conflicts connectionless considerations constraints control control-flow cooperating cooperative corba correctness criterion d2b data database datagram declarative design detect detecting detection dht different diffusing divisor driven dual dynamic dynamic-change dynamicity dynamiques effects enabled eneral equivalence evaluating evaluation event evolution execution exeption facilities feasibility firings flexibility flexible flow flower for formal forms framework from gama generation graphs grid guards handling heterogeneous history-dependent hyrarchically identifying in individual information inheritance-preserving instance instances integrating integration interposition intrusions isomorphisms issues kad kademlia key language level limitations manage management managment mape maximal mcd mcm means methods middleware migration migrations milano minimal mining mode model modelling models modification modifications modified monitoring mqs multicast multiple nets network object object-oriented of on on-the-fly or oriented other ots overlaping overlays pais paradigm paradigms pastry patterns peer-to-peer penetrations potential practice principles procedures process processes proof property providing region relation resource respect restricting right rules running runtime scaling scenarios schema schemaof schemata schemes security semantic semantics sequences servers service services shema shemeta shift simultaneous software solution sound soundness specifications staffw structural stuctured support supporting surimpose symantically synthetic-cut-over system systems taxonomy tests the theoretical theory to transactions transformation trasparent type under validity versioning versionning view web wf when within work workflow workflows wsfl wsm-nets xlang

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.