325 search results - page 59 / 65 » A new large projection operator for the redundancy framework |
AVI
2000
13 years 8 months ago
2000
This paper describes the software architecture for our pen-based electronic whiteboard system, called Flatland. The design goal of Flatland is to support various activities on per...
NOMS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract— Today’s networked systems are extensively instrumented for collecting a wealth of monitoring data. In this paper, we propose a framework called System-wide Similarity...
CLEANDB
2006
ACM
13 years 9 months ago
2006
ACM
An important reality when integrating scientific data is the fact that data may often be "missing", partially specified, or conflicting. Therefore, in this paper, we pre...
DEBU
2008
13 years 7 months ago
2008
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...
IFM
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...