2312 search results - page 213 / 463 » Invariance in Property Testing |
123
Voted
EDBT
2008
ACM
16 years 5 months ago
2008
ACM
Redundancy and minimization of queries are investigated in a well known fragment of XPath that includes child and descendant edges, branches, wildcards, and multiple output nodes....
136
Voted
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Knowledge and knowledge sharing are an important facet of innovative activities. This paper aims to investigate knowledge creation in innovation context and presents the construct...
154
click to vote
SFM
2007
Springer
15 years 11 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
161
Voted
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
126
click to vote
IJAIT
2006
15 years 4 months ago
2006
In this paper we present the agent architecture development environment ADE, intended for the design, implementation, and testing of distributed agent architectures. After a short...