Sciweavers

1888 search results - page 170 / 378
» Automatic Implementation of Distributed Systems Formal Speci...
Sort
View
ATAL
2005
Springer
16 years 1 days 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...
EAGC
2003
Springer
15 years 11 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...
FORMATS
2009
Springer
15 years 10 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...
IPPS
2007
IEEE
16 years 24 days 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 10 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