4340 search results - page 188 / 868 » Formal Methods and Cryptography |
212
Voted
NOSSDAV
2005
Springer
16 years 15 days ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
191
click to vote
DILS
2004
Springer
16 years 12 days ago
2004
Springer
Meaningfully integrating massive multi-experimental genomic data sets is becoming critical for the understanding of gene function. We have recently proposed methodologies for integ...
161
click to vote
ATAL
2003
Springer
16 years 7 days ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
173
Voted
IEE
2008
15 years 6 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
210
Voted
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...