Sciweavers

4957 search results - page 501 / 992
» Simplifying Distributed System Development
Sort
View
WORDS
2002
IEEE
15 years 11 months ago
Schedulability Analysis of an Event-Based Real-Time Protocol Framework
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
João Rodrigues, João Ventura, Lu&iac...
ATAL
2006
Springer
15 years 10 months ago
Multi-agent coordination and control testbed for planning and scheduling strategies
The Multi-Agent Coordination and Control (MACC) testbed is a modelling and simulation environment for manufacturing control. It provides benefits to both the research community an...
Paul Verstraete, Paul Valckenaers, Hendrik Van Bru...
APN
2008
Springer
15 years 8 months ago
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
133
Voted
CRIWG
2003
15 years 8 months ago
Building Virtual Communities for Information Retrieval
The search for relevant information is often hindered by the initial difficulty in formulating precise requests, and because much knowledge is actually tacit and thus not easily ac...
Daniel Memmi, Olivier Nérot
ICSR
2011
Springer
14 years 10 months ago
Software Reuse and Safety
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
William B. Frakes, John M. Favaro