3663 search results - page 614 / 733 » Problems in the ontology of computer programs |
ICDT
2007
ACM
15 years 4 months ago
2007
ACM
We consider the problem of querying data sources that have limited capabilities and can thus only be accessed by complying with certain binding patterns for their attributes. This ...
ICSOC
2007
Springer
15 years 4 months ago
2007
Springer
Web services are rapidly emerging as a popular standard for sharing data and functionality among heterogeneous systems. We propose a general purpose Web Service Management System (...
107
click to vote
SPIN
2007
Springer
15 years 4 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
AINA
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents HyMoNet, a peer-to-peer hybrid multicast overlay network for efficient live media streaming. The system comprises two parts: service infrastructure and user sp...
AINA
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— We developed the HAT (Home Appliance Translator) and HAT-Sub to enable conventional appliances without telecommunication capabilities to connect to home networks. The d...