4604 search results - page 607 / 921 » Concurrency in Synchronous Systems |
153
click to vote
ADBIS
2006
Springer
16 years 23 days ago
2006
Springer
In existing systems, user transactions get blocked during materialized view creation and non-trivial database schema transformations. Blocking user transactions is not an option in...
170
click to vote
CIG
2005
IEEE
16 years 11 days ago
2005
IEEE
Real-Time Strategy games present an interesting problem domain for Artificial Intelligence research. We review current approaches to developing AI systems for such games, noting th...
160
click to vote
ICTAI
2005
IEEE
16 years 11 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
170
click to vote
WOSP
2005
ACM
16 years 9 days ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
193
click to vote
CSCLP
2005
Springer
16 years 9 days ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...