2205 search results - page 165 / 441 » Mutation Operators for Specifications |
SIGOPSE
2000
ACM
14 years 2 months ago
2000
ACM
Ubiquitous computing promotes physical spaces with hundreds of specialized embedded devices that increase our productivity, alleviate some specific everyday tasks and provide new ...
BPM
2007
Springer
14 years 1 months ago
2007
Springer
Breadth and depth complexity are key challenges in achieving business process fusion as the enabler for value configuration design. The PARM framework is proposed as the requiremen...
HOTOS
2009
IEEE
14 years 1 months ago
2009
IEEE
In this paper, we question the common practice of assigning security impact ratings to OS updates. Specifically, we present evidence that ranking updates by their perceived securi...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
DEXAW
2004
IEEE
14 years 1 months ago
2004
IEEE
In this article, we present the GI-Cat web service: a SOAP-based service which provides the basic functionalities for GI dataset cataloguing and access. The introduced GI-Cat data...