932 search results - page 105 / 187 » Verifying Progress in Timed Systems |
146
Voted
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
103
click to vote
GRAPHITE
2005
ACM
15 years 9 months ago
2005
ACM
The computational requirements of full global illumination rendering are such that it is still not possible to achieve high-fidelity graphics of very complex scenes in a reasonab...
118
click to vote
PODC
2005
ACM
15 years 9 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
147
click to vote
CHI
2007
ACM
15 years 8 months ago
2007
ACM
This paper reports a longitudinal study of a non-speech input-controlled continuous cursor control system: Whistling User Interface (U3I). This study combines quantitative (target...
133
click to vote
CCIA
2009
Springer
15 years 5 months ago
2009
Springer
When an agent receives a query from another agent, it tries to satisfy it by building an answer based on its current knowledge. Depending on the available time or the urgency of t...