Sciweavers

9210 search results - page 1537 / 1842
» Analyzing Real-Time Systems
Sort
View
112
Voted
AOSE
2005
Springer
15 years 6 months ago
Incorporating Commitment Protocols into Tropos
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
Ashok U. Mallya, Munindar P. Singh
ATAL
2005
Springer
15 years 6 months ago
Multiagent simulation of learning environments
One of the key issues in designing appropriate and effective learning environments is understanding how learners advance and what factors contribute to their progress. This holds...
Elizabeth Sklar, Mathew Davies
123
Voted
DSOM
2005
Springer
15 years 6 months ago
Control Considerations for Scalable Event Processing
The growth in the scale of systems and networks has created many challenges for their management, especially for event processing. Our premise is that scaling event processing requ...
Wei Xu, Joseph L. Hellerstein, Bill Kramer, David ...
EPEW
2005
Springer
15 years 6 months ago
Reasoning About Interaction Patterns in Choreography
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
ESORICS
2005
Springer
15 years 6 months ago
Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation
Abstract. Hippocratic Databases have been proposed as a mechanism to guarantee the respect of privacy principles in data management. We argue that three major principles are missin...
Fabio Massacci, John Mylopoulos, Nicola Zannone
« Prev « First page 1537 / 1842 Last » Next »