13489 search results - page 384 / 2698 » Self-migration of operating systems |
209
click to vote
ECSCW
2001
15 years 9 months ago
2001
We argue that socio-technical systems can be understood as complex adaptive systems, that is, systems containing component sub-systems interacting such that they co-evolve This vie...
198
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems h in common, and provide similar abstractions. We a...
191
click to vote
CEEMAS
2003
Springer
16 years 25 days ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
213
click to vote
IANDC
2006
15 years 7 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
196
click to vote
CRYPTO
1993
Springer
15 years 11 months ago
1993
Springer
Three modular reduction algorithms for large integers are compared with respect to their performance in portable software: the classical algorithm, Barrett’s algorithm and Montgo...