1640 search results - page 277 / 328 » Design of Synchronous Action Systems |
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
159
click to vote
SIGMOD
2007
ACM
16 years 16 hour ago
2007
ACM
A cracked database is a datastore continuously reorganized based on operations being executed. For each query, the data of interest is physically reclustered to speed-up future ac...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
When asked to draw, many people are hesitant because they consider themselves unable to draw well. This paper describes the first system for a computer to provide direction and fe...
IUI
2004
ACM
15 years 5 months ago
2004
ACM
In order to give people ubiquitous access to software applications, device controllers, and Internet services, it will be necessary to automatically adapt user interfaces to the c...
107
click to vote
APN
2010
Springer
15 years 4 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...