1419 search results - page 254 / 284 » Notes on Formalizing Context |
122
click to vote
ICTAC
2009
Springer
14 years 10 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
191
Voted
FOSSACS
2011
Springer
14 years 4 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
116
Voted
ICDT
2012
ACM
13 years 2 months ago
2012
ACM
The problems of query containment, equivalence, and minimization are recognized as very important in the context of query processing, specifically of query optimization. In their...
115
Voted
TEC
2012
13 years 2 months ago
2012
Recently, the generalization framework in co-evolutionary learning has been theoretically formulated and demonstrated in the context of game-playing. Generalization performance of...
81
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...