10568 search results - page 778 / 2114 » Computer Intelligence and Formalization |
189
click to vote
MEMOCODE
2010
IEEE
15 years 5 months ago
2010
IEEE
Elastic systems provide tolerance to the variations in computation and communication delays. The incorporation of elasticity opens new opportunities for optimization using new corr...
211
click to vote
FORTE
2009
15 years 5 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
210
click to vote
DOCENG
2010
ACM
15 years 4 months ago
2010
ACM
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
193
click to vote
PROCEDIA
2010
15 years 2 months ago
2010
In this work we address the issue of selecting and composing Web Services (WSs) considering functional requirements and transactional properties. We formalize the WS composition p...
239
click to vote
JAIR
2012
13 years 10 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...