9626 search results - page 1236 / 1926 » Invariant Based Programming |
179
click to vote
ICSM
2005
IEEE
16 years 1 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
197
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
There has been a growing interest in designing multi-agent based interactive dramas. A key research challenge faced in the design of these systems is to support open-ended user in...
195
click to vote
VMCAI
2005
Springer
16 years 28 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
225
click to vote
PLDI
2004
ACM
16 years 26 days ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
285
click to vote
EMSOFT
2004
Springer
16 years 25 days ago
2004
Springer
Energy efficiency is rapidly becoming a first class optimization parameter for modern systems. Caches are critical to the overall performance and thus, modern processors (both hig...