Sciweavers

1643 search results - page 28 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
42
Voted
JUCS
2006
68views more  JUCS 2006»
14 years 9 months ago
Time-varying H Systems Revisited
: We cast a new look on time-varying distributed H systems. In their original definition, where only new strings are passed to the next component, this language definition in itsel...
Remco Loos
73
Voted
ICCS
2007
Springer
15 years 3 months ago
Cyberinfrastructure for Contamination Source Characterization in Water Distribution Systems
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...
Sarat Sreepathi, Kumar Mahinthakumar, Emily M. Zec...
QSIC
2005
IEEE
15 years 3 months ago
Systematic Incremental Development of Agent Systems, using Prometheus
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
Mikhail Perepletchikov, Lin Padgham
72
Voted
IPPS
2007
IEEE
15 years 4 months ago
Models and Heuristics for Robust Resource Allocation in Parallel and Distributed Computing Systems
This is an overview of the robust resource allocation research efforts that have been and continue to be conducted by the CSU Robustness in Computer Systems Group. Parallel and di...
David L. Janovy, Jay Smith, Howard Jay Siegel, Ant...
77
Voted
SAFECOMP
1999
Springer
15 years 1 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...