1073 search results - page 112 / 215 » Reasoning about Continuous Processes |
120
Voted
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
126
Voted
FMOODS
2003
15 years 4 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
120
click to vote
IQ
1996
15 years 3 months ago
1996
There is a consistent gap between users expectations regarding Information Quality (IQ) and the perceived quality of the information they are using. An explicit approach to IQ is ...
114
Voted
ESE
2002
15 years 2 months ago
2002
Software inspection is one of the key enablers for quality improvement and defect cost reduction. Although its benefits are shown in many studies, a major obstacle to implement an...
106
click to vote
LPNMR
1990
Springer
15 years 6 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...