5518 search results - page 472 / 1104 » Rule-Based Service Modeling |
185
Voted
RTCSA
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
178
Voted
SIGUCCS
2003
ACM
16 years 3 days ago
2003
ACM
Higher education institutions have been striving to improve services and keep pace with new technologies. In a Higher education environment, the users utilize the available comput...
178
Voted
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
153
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
138
click to vote
WORDS
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...