2293 search results - page 389 / 459 » Temporal Logic in Information Systems |
CCIA
2009
Springer
14 years 11 months ago
2009
Springer
When an agent receives a query from another agent, it tries to satisfy it by building an answer based on its current knowledge. Depending on the available time or the urgency of t...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...
WWW
2001
ACM
15 years 10 months ago
2001
ACM
XML is poised to take the World-Wide-Web to the next level of innovation. XML data, large or small, with or without associated schema, will be exchanged between increasing number ...
IEEESCC
2009
IEEE
15 years 4 months ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesā...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Internet business-to-business transactions present great challenges in merging information from diļ¬erent sources. In this paper we describe a project to integrate four ...