2136 search results - page 359 / 428 » A Game-Theoretic Operational Semantics |
117
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
173
Voted
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
152
click to vote
CIKM
2001
Springer
15 years 8 months ago
2001
Springer
As mobile devices get ubiquitous and grow in computational power, their management of interdependent data also becomes increasingly important. The mobile environment exhibits all ...
143
Voted
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...
133
Voted
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...