1783 search results - page 223 / 357 » Provenance and Data Synchronization |
111
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
116
click to vote
ISMAR
2005
IEEE
15 years 9 months ago
2005
IEEE
Since introducing a hybrid vision-inertial tracker using passive fiducial markers, we have encountered several applications in which the use of encoded LEDs would be preferable to...
121
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
133
click to vote
APN
2004
Springer
15 years 9 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
108
click to vote
GPCE
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...