4520 search results - page 803 / 904 » Algebraic Techniques for Timed Systems |
138
click to vote
AVI
2008
15 years 8 months ago
2008
In this paper, we describe a paper-based interface, which combines the physical (real) with the digital world: while interacting with real paper printouts, users can seamlessly wo...
156
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Although timetabling has long been studied through constraint satisfaction based techniques, along with many alternatives, only recently work has been reported where distributed t...
169
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. Analyzing the execution of such processes is critical for enforcing business ...
150
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Many code analysis techniques for optimization, debugging, or parallelization need to perform runtime disambiguation of sets of addresses. Such operations can be supported efficie...
161
click to vote
ASSETS
2008
ACM
15 years 8 months ago
2008
ACM
Understanding how pointing performance varies in real world computer use and over time can provide valuable insight about how systems should accommodate changes in pointing behavi...