2940 search results - page 86 / 588 » Behavioral Constraints for Services |
ICSE
2009
IEEE-ACM
14 years 5 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
Publication
Global logistics flows have increased dramatically in recent years due to the globalization in the world economy. It is more complex than the domestic logistics, consisting of mult...
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
EEE
2005
IEEE
14 years 4 months ago
2005
IEEE
Web services are modular web applications that can be independently deployed and invoked by other software or services on the web. This offers enterprises the capability to integr...
MOBISYS
2003
ACM
14 years 10 months ago
2003
ACM
Advances in sensing and tracking technology enable location-based applications but they also create significant privacy risks. Anonymity can provide a high degree of privacy, save...