1453 search results - page 59 / 291 » State and history in operating systems |
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
Free viewpoint TV (FTV) enables us to view a distant 3D world by freely changing our viewpoints as if we were there. FTV will bring an epochal change in the history of television ...
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
ECIS
2000
15 years 1 months ago
2000
-International Information Systems, often of critical importance for the operations of the multinational enterprise, are poorly researches and there is a dearth of theoretical fram...
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
87
Voted
AI
2004
Springer
15 years 11 days ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...