1073 search results - page 51 / 215 » Reasoning about Continuous Processes |
ICIS
1994
13 years 11 months ago
1994
The so called "productivity paradox" associated with information technology remains the focus of active research in information systems. One explanation involves the dea...
QUATIC
2007
IEEE
14 years 4 months ago
2007
IEEE
Continuous improvement of software development capability is fundamental for organizations to thrive in competitive markets. Nevertheless, Software Process Improvement (SPI) imple...
IPM
2010
13 years 8 months ago
2010
Collaborative information seeking is integral to many professional activities. In hospital work, the medication process encompasses continual seeking for information and collaborat...
ACL2
2006
ACM
14 years 4 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
CIDR
2007
13 years 11 months ago
2007
In this paper, we investigate the benefits and challenges of integrating history into a near-real-time monitoring system; and present a general purpose continuous monitoring engi...