TOSEM
2010
13 years 6 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
TOPNOC
2010
13 years 6 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
TOPNOC
2010
13 years 6 months ago
2010
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
TOPNOC
2010
13 years 6 months ago
2010
TOPNOC
2010
13 years 6 months ago
2010
Abstract. Contemporary workflow management systems offer workitems to users through specific work-lists. Users select the work-items they will perform without having a specific sch...
TCCI
2010
13 years 6 months ago
2010
Abstract. A semantically-linked web of electronic information
SGAI
2010
Springer
13 years 6 months ago
2010
Springer
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
NLE
2010
13 years 6 months ago
2010
KI
2010
Springer
13 years 6 months ago
2010
Springer
KI
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we address the problem of lifelong map learning in static environments with mobile robots using the graph-based formulation of the simultaneous localization and mapp...