1705 search results - page 81 / 341 » Representing Constraints with Automata |
ASM
2010
ASM
14 years 7 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
We formulate the problem of computing equilibria in multiplayer games represented by arbitrary undirected graphs as a constraint satisfaction problem and present two algorithms. T...
DATE
1997
IEEE
14 years 2 months ago
1997
IEEE
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
AGTIVE
2007
Springer
14 years 2 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
IJCSS
2006
13 years 10 months ago
2006
In this paper, minimum jerk movement on the constrained sphere was studied by using both theoretical analysis and experimental investigation. Based on the constraint optimal princ...