4340 search results - page 661 / 868 » Formal Methods and Cryptography |
145
click to vote
FM
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
181
click to vote
FM
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
165
click to vote
ICARIS
2009
Springer
16 years 23 days ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...
156
click to vote
ICHIT
2009
Springer
16 years 23 days ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
162
click to vote
KCAP
2009
ACM
16 years 22 days ago
2009
ACM
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...