7311 search results - page 1223 / 1463 » Time in State Machines |
170
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
This paper presents POLUS, a software maintenance tool capable of iteratively evolving running software into newer versions. POLUS's primary goal is to increase the dependabi...
207
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
We describe a complete hardware/software system, dubbed Universal Real-Time Navigational Assistance (URNA), which enables communication of relevant location-aware information to a...
211
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we propose a simple yet effective method of identifying traffic conditions on surface streets given location traces collected from on-road vehicles--this requires o...
252
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
186
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 4 months ago
2010
Eurographics
Synthesizing the movements of a responsive virtual character in the event of unexpected perturbations has proven a difficult challenge. To solve this problem, we devise a fully a...