Sciweavers

4290 search results - page 64 / 858
» Formal Approaches to Teamwork
Sort
View
ESWS
2004
Springer
15 years 11 months ago
Formal Support for Representing and Automating Semantic Interoperability
Semantic interoperability has become a key issue for realizing the Semantic Web in its full potential. However, there is a lot of controversy regarding the meaning and scope of the...
Yannis Kalfoglou, W. Marco Schorlemmer
EUROMICRO
2000
IEEE
15 years 10 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ASWC
2008
Springer
15 years 8 months ago
A Formal Model for Classifying Trusted Semantic Web Services
Abstract. Semantic Web Services (SWS) aim to alleviate Web service limitations, by combining Web service technologies with the potential of Semantic Web. Several open issues have t...
Stefania Galizia, Alessio Gugliotta, Carlos Pedrin...
DSRT
2008
IEEE
15 years 8 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
ICMAS
1998
15 years 7 months ago
Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...
Munindar P. Singh