11017 search results - page 396 / 2204 » Closure Systems and their Structure |
164
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
In this work, the focus is put on the behavior of a system in case a fault occurs that disables the system from executing its applications. Instead of executing a random subset of...
145
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
A study of over 2000 students and professionals who used the Inspire e-negotiation system led Vetschera, Kersten and Koeszegi [1] to the formulation of an assessment model for int...
190
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
182
click to vote
WAIM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The heterogeneity nature of XML data creates the need for approximate query answering. In this paper, we present an XML system that cooperates with users to provide user-...
130
click to vote
ASPLOS
2006
ACM
16 years 26 days ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...