124
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be ...
126
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
139
click to vote
FPGA
2004
ACM
15 years 7 months ago
2004
ACM
Pattern matching for network security and intrusion detection demands exceptionally high performance. Much work has been done in this field, and yet there is still significant roo...
161
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Mobile ad hoc networks (MANETs) define a challenging computing scenario where access to resources is restrained by connectivity among hosts. Replication offers an opportunity to in...
100
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio