13489 search results - page 2374 / 2698 » Self-migration of operating systems |
162
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
QuickSet [6] is a multimodal system that gives users the capability to create and control map-based collaborative interactive simulations by supporting the simultaneous input from ...
187
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...
159
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
179
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
152
click to vote
IWMM
2004
Springer
16 years 2 days ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...