Sciweavers

334 search results - page 5 / 67
» Structured Formalization of Service-Oriented Specifications
Sort
View
JNCA
2008
96views more  JNCA 2008»
13 years 7 months ago
Patterns of message interchange in decoupled hypermedia systems
Open hypermedia systems provide a decoupled approach to structural computing. This entails that the architecture of the systems are made up of user agents that communicate with di...
Sinuhé Arroyo, Miguel-Ángel Sicilia,...
PRIMA
2001
Springer
13 years 12 months ago
The Role of Castes in Formal Specification of MAS
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...
Hong Zhu
DFG
2004
Springer
13 years 11 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...
AEI
2010
148views more  AEI 2010»
13 years 7 months ago
Modeling and monitoring of construction supply chains
The planning and management of supply chains require properly specifying the participating members and the relationships among them. Construction supply chains usually consist of n...
Jack C. P. Cheng, Kincho H. Law, Hans Bjornsson, A...
ERLANG
2004
ACM
14 years 27 days ago
Monitoring and state transparency of distributed systems
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
Martin J. Logan