661 search results - page 108 / 133 » A Logic of Capabilities |
ADBIS
2006
Springer
13 years 10 months ago
2006
Springer
Because of information ubiquity, one observes an important trend towards transferring information management tasks from database systems to networks. We introduce the notion of Da...
DAGSTUHL
2007
13 years 9 months ago
2007
With the emergence of wireless sensor networks, the issues of event recognition and processing have been partially shifted into the embedded domain. New processing capabilities on...
FMOODS
2007
13 years 9 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
ECIS
2001
13 years 9 months ago
2001
Governments are employing modern information and communication technologies to better serve society. Raising the effectiveness of government as well as the quality of the civil se...
ICHIM
2001
13 years 9 months ago
2001
One of the five main areas identified for this conference is Technology Enabled Services for Cultural Heritage. It can be stated as fact that all information services are reliant ...