4795 search results - page 384 / 959 » The Message Classification Model |
194
click to vote
CONCURRENCY
2000
15 years 6 months ago
2000
Java's support for parallel and distributed processing makes the language attractive for metacomputing applications, such as parallel applications that run on geographically ...
148
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
180
Voted
AISS
2010
15 years 4 months ago
2010
Kindergartens have been expected to take on a new role of child-raising support due to changes in the social environment such as declining birthrate and deregulation. A web page c...
162
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
207
click to vote
AICT
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...