1783 search results - page 223 / 357 » Provenance and Data Synchronization |
159
click to vote
APSEC
2005
IEEE
16 years 17 days 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...
156
Voted
ISMAR
2005
IEEE
16 years 16 days 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...
171
Voted
ADAEUROPE
2005
Springer
16 years 15 days 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...
190
click to vote
APN
2004
Springer
16 years 10 days 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...
140
Voted
GPCE
2004
Springer
16 years 10 days 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...