Sciweavers

1803 search results - page 233 / 361
» Architectural framework for supporting operating system surv...
Sort
View
SIGOPSE
2004
ACM
15 years 12 months ago
Trust but verify: accountability for network services
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
Aydan R. Yumerefendi, Jeffrey S. Chase
CIA
2004
Springer
15 years 12 months ago
Reasoning About Communication - A Practical Approach Based on Empirical Semantics
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
Felix A. Fischer, Michael Rovatsos
MOBIDE
2006
ACM
16 years 12 days ago
Boosting location-based services with a moving object database engine
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
Nikos Pelekis, Yannis Theodoridis
SOCO
2010
Springer
15 years 4 months ago
Visualizing and Assessing a Compositional Approach of Business Process Design
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
Sébastien Mosser, Alexandre Bergel, Mireill...
ER
2000
Springer
114views Database» more  ER 2000»
15 years 10 months ago
From Web Sites to Web Applications: New Issues for Conceptual Modeling
Abstract E-commerce, web-based booking systems, and on-line auction systems are only a few examples that demonstrate how WWW sites are evolving from hypermedia information reposito...
Luciano Baresi, Franca Garzotto, Paolo Paolini