8022 search results - page 62 / 1605 » Predictability in Critical Systems |
155
click to vote
SCS
2004
15 years 5 months ago
2004
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
120
click to vote
IJSS
2007
15 years 4 months ago
2007
— The purpose of this case study is to create a competitive operative management system for efficiency and quality performance for a company running maintenance service business ...
139
click to vote
ELECTRONICMARKETS
2010
15 years 1 months ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
118
click to vote
EPIA
1999
Springer
15 years 8 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
135
click to vote
LICS
1991
IEEE
15 years 7 months ago
1991
IEEE
Abstract. We extend the termination proof methods based on reduction orderings to higher-order rewriting systems `a la Nipkow using higher-order pattern matching for firing rules,...