8828 search results - page 283 / 1766 » Formal methods in practice |
195
click to vote
NOSSDAV
2005
Springer
16 years 5 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 ...
182
click to vote
DILS
2004
Springer
16 years 2 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...
149
click to vote
ATAL
2003
Springer
15 years 12 months 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...
159
click to vote
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...
166
click to vote
GLOBECOM
2006
IEEE
16 years 22 days ago
2006
IEEE
— Emulating Output Queued (OQ) Switch with sustainable implementation cost and low fixed delay is always preferable in designing high performance routers. The SwitchMemory-Switch...