6836 search results - page 176 / 1368 » Modelling Web-Oriented Architectures |
125
Voted
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
153
Voted
HPCN
2000
Springer
15 years 7 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
134
Voted
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper describes an architectural framework adopting the principles of Service Oriented Architecture for deploying unified communications over the Internet. Also discuss the p...
139
click to vote
ACTA
2002
15 years 3 months ago
2002
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...
130
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Programming network processors remains an art due to the variety of different network processor architectures and due to little support to reason and explore implementations on su...