1804 search results - page 329 / 361 » Use Cases in Model-Driven Software Engineering |
103
click to vote
AC
2000
Springer
14 years 11 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
121
click to vote
SIAMCOMP
2011
14 years 6 months ago
2011
Set agreement, where processors decisions constitute a set of outputs, is notoriously harder to analyze than consensus where the decisions are restricted to a single output. This ...
116
click to vote
TCIAIG
2010
14 years 6 months ago
2010
The objective of this work is to automatically detect the use of game bots in online games based on the trajectories of account users. Online gaming has become one of the most popu...
CGO
2008
IEEE
15 years 6 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
101
click to vote
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...