3229 search results - page 462 / 646 » The Theory of Timed Automata |
201
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
185
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
236
click to vote
DIGRA
2005
Springer
16 years 4 days ago
2005
Springer
This paper is an addition to the discourse surrounding interface theory and pervasive games. A buzzword by nature, the term ´interface´ needs to be investigated and redefined in...
201
click to vote
ICAPR
2005
Springer
2005
Springer
Mathematical Features for Recognizing Preference in Sub-saharan African Traditional Rhythm Timelines
16 years 4 days ago
The heart of an African rhythm is the timeline, a beat that cyclically repeats thoughout a piece, and is often performed with an iron bell that all performers can hear. Such rhythm...
191
click to vote
PLDI
2004
ACM
16 years 1 days ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...