6167 search results - page 95 / 1234 » Can Refinement be Automated |
127
click to vote
VLDB
2001
ACM
15 years 8 months ago
2001
ACM
Queries navigate semistructured data via path expressions, and can be accelerated using an index. Our solution encodes paths as strings, and inserts those strings into a special i...
125
click to vote
AIIDE
2008
15 years 6 months ago
2008
Petri Nets can be used for a retrospective analysis of a computer game story, for representing plots in serious games as well as for monitoring the course of the story, as recentl...
116
click to vote
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
135
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
132
click to vote
TSE
2002
15 years 3 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...