Sciweavers

1888 search results - page 170 / 378
» Automatic Implementation of Distributed Systems Formal Speci...
Sort
View
122
Voted
ATAL
2005
Springer
15 years 9 months ago
A secure architectural description language for agent systems
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
Haralambos Mouratidis, Manuel Kolp, Stéphan...
164
Voted
EAGC
2003
Springer
15 years 9 months ago
Automatic Services Discovery, Monitoring and Visualization of Grid Environments: The MapCenter Approach
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
Franck Bonnassieux, Robert Harakaly, Pascale Prime...
134
Voted
FORMATS
2009
Springer
15 years 7 months ago
Safe Runtime Verification of Real-Time Properties
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
Christian Colombo, Gordon J. Pace, Gerardo Schneid...
108
Voted
IPPS
2007
IEEE
15 years 10 months ago
Analysis of Different Future Objects Update Strategies in ProActive
In large-scale distributed systems, asynchronous communication and future objects are becoming wide spread mechanisms to tolerate high latencies and to improve global performances...
Nadia Ranaldo, Eugenio Zimeo
BPM
2006
Springer
93views Business» more  BPM 2006»
15 years 7 months ago
Building Business Process Driven Web Applications
The Internet has turned to be one the most common platform for the development of applications. In addition, sometimes the specification of these applications is given to web devel...
Victoria Torres, Vicente Pelechano