Sciweavers

1888 search results - page 251 / 378
» Automatic Implementation of Distributed Systems Formal Speci...
Sort
View
DAGSTUHL
2004
15 years 6 months ago
Audition of Web Services for Testing Conformance to Open Specified Protocols
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
Antonia Bertolino, Lars Frantzen, Andrea Polini, J...
140
Voted
ICDCSW
2007
IEEE
15 years 11 months ago
Using stream queries to measure communication performance of a parallel computing environment
We have developed a data stream management system that supports declarative stream queries running over high data volumes in a supercomputing environment. To enable specification ...
Erik Zeitler, Tore Risch
130
Voted
ETFA
2008
IEEE
15 years 6 months ago
Hardware acceleration for verifiable, adaptive real-time communication
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communic...
Sebastian Fischmeister, Insup Lee, Robert Trausmut...
264
Voted
CASCON
2010
225views Education» more  CASCON 2010»
15 years 1 months ago
Monitoring and Recovery of Web Service Applications
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
IADIS
2003
15 years 6 months ago
Ontology Mapping for Interoperability in Semantic Web
Ontology mapping is the process whereby two ontologies are semantically related at conceptual level and the source ontology instances are transformed into target ontology entities...
Nuno Silva, João Rocha