1285 search results - page 74 / 257 » Structural Operators for Modeling 3-Manifolds |
110
click to vote
WWW
2007
ACM
16 years 1 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...
MMAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. As the scale and scope of multi-agent systems grow, it becomes increasingly important to design and manage the manner in which the participants interact. The potential fo...
103
click to vote
TCIAIG
2010
14 years 7 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
109
click to vote
DATESO
2007
15 years 2 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
159
Voted
CC
2008
Springer
15 years 2 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...