1063 search results - page 56 / 213 » Order and Negation as Failure |
95
Voted
RTAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
105
Voted
ENTCS
2007
15 years 22 days ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
117
Voted
IFIPTM
2010
14 years 11 months ago
2010
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
92
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
This paper studies the use of highly dynamic networks as infrastructures for persistent storage of data that offer services at specific geographical zones in a decentralized and...
97
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...