448 search results - page 30 / 90 » A Meta-Method for Formal Method Integration |
121
click to vote
ICTAI
2003
IEEE
15 years 8 months ago
2003
IEEE
With the exploding volume of microarray experiments comes increasing interest in mining repositories of such data. Meaningfully combining results from varied experiments on an equ...
115
click to vote
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Even though the design of business processes most often has to consolidate the knowledge of several process stakeholders, this fact is utilized only to a limited extent by existing...
179
click to vote
KR
2010
Springer
15 years 5 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
133
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
155
click to vote
TKDE
2012
13 years 5 months ago
2012
—If past versions of XML documents are retained, what of the various integrity constraints defined in XML Schema on those documents? This paper describes how to interpret such c...