3103 search results - page 89 / 621 » Locating Features in Distributed Systems |
146
click to vote
FAST
2009
15 years 1 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
121
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...
ENTCS
2008
15 years 3 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
129
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
During real-world design of embedded real-time systems, it cannot be expected that all performance data required for scheduling analysis is fully available up front. In such situa...
116
click to vote
PDSE
1998
15 years 4 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...