5055 search results - page 100 / 1011 » Relative Timing |
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In order to study relative PCF-definability of boolean functions, we associate a hypergraph Hf to any boolean function f (following [3, 5]). We introduce the notion of t...
120
click to vote
JAPLL
2006
15 years 4 months ago
2006
In this paper we study the definability and decidability of binary predicates for time granularity in monadic languages interpreted over finitely and infinitely layered structures...
151
click to vote
PRESENCE
2000
15 years 4 months ago
2000
Observers adjusted a pointer to match the depicted distance of a monocular virtual object viewed in a see-through, head-mounted display. Distance information was available through...
151
click to vote
ECOWS
2008
Springer
15 years 6 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
131
click to vote
ISORC
2002
IEEE
15 years 9 months ago
2002
IEEE
ARTISST (ARTISST is a Real-Time System Simulation Tool) is a modular event-driven simulation framework for real-time systems. It is targeted towards the performance evaluation of ...