5128 search results - page 393 / 1026 » When Abstraction Fails |
255
click to vote
AMOST
2007
ACM
15 years 11 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
205
click to vote
ARGMAS
2006
Springer
15 years 11 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
213
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
Any set of autonomous workstations, however networked (by a LAN, a MAN, or wireless), can be seen as a collection of networked low cost disks. Such a collection can be operated by...
193
click to vote
FASE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
190
click to vote
FMCAD
2006
Springer
15 years 11 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...