6599 search results - page 396 / 1320 » Towards a Theory of Information |
169
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
176
click to vote
VLDB
2000
ACM
15 years 10 months ago
2000
ACM
Database technology is one of the cornerstones for the new millennium's IT landscape. However, database systems as a unit of code packaging and deployment are at a crossroad:...
205
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
176
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The vision of Ambient Intelligence is based on the ubiquity of information technology, the presence of computation, communication, and sensorial capabilities in an unlimi...
180
click to vote
BTW
2005
Springer
15 years 8 months ago
2005
Springer
: Recent advances in sensor technologies, wireless communication, powerful mobile devices, and wearable computers strongly support novel types of applications. Especially in health...