1407 search results - page 212 / 282 » Using Use Cases in Executable Z |
119
Voted
DEBS
2008
ACM
15 years 4 months ago
2008
ACM
In event stream applications, events flow through a network of components that perform various types of operations, e.g., filtering, aggregation, transformation. When the operatio...
136
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Software Visualization encompasses the development and evaluation of methods for graphically representing different aspects of methods of software, including its structure, execut...
143
Voted
ENTCS
2006
15 years 2 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
121
Voted
GRID
2006
Springer
15 years 2 months ago
2006
Springer
Existing data grid scheduling systems handle huge data I/O via replica location services coupled with simple staging, decoupled from scheduling of computing tasks. However, when th...
107
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
A virtual plague is a process in which a behavior-affecting property spreads among characters in a Massively Multiplayer Online Game (MMOG). The MMOG individuals constitute a synt...