4418 search results - page 166 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
112
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes an optimization technique for spotchecking to minimize the computation time of volunteer computing (VC) systems with malicious participants who return erroneou...
145
click to vote
CSCWD
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a system called E-Breaker for supporting small and medium size group authoring of any kind of documents following a regular structure. The system supports a de...
180
click to vote
ICSOC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Service-based systems should be able to dynamically seek replacements for faulty or underperforming services, thus performing self-healing. It may however be the case tha...
140
click to vote
GI
2004
Springer
15 years 10 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
151
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...