880 search results - page 75 / 176 » Semantics-Based Concurrency Control |
SAC
2010
ACM
14 years 3 months ago
2010
ACM
The emerging reality of wireless sensor networks deployed as long-lived infrastructure required to serve multiple applications necessitates the development of fine-grained securi...
CUZA
2002
13 years 8 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
DEDS
1998
13 years 8 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
MM
2004
ACM
14 years 2 months ago
2004
ACM
Multiplayer online games have become very popular in recent years. However, they generally suffer from network latency problem. If a player changes its states, it will take some ...
APSEC
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...