94 search results - page 6 / 19 » infsof 2006 |
INFSOF
2002
13 years 7 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
INFSOF
2002
13 years 7 months ago
2002
This paper provides a formal speci
INFSOF
2006
13 years 7 months ago
2006
Adding usability improving solutions during late stage development is to some extent restricted by the software architecture. However, few software engineers and human
INFSOF
2000
13 years 7 months ago
2000
Semantic query optimization is the process of utilizing information implied by integrity constraints to reformulate the query into one that generates the same set of answers in a ...
INFSOF
2002
13 years 7 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...