860 search results - page 85 / 172 » A Process Algebra Based Verification of a Production System |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
DAC
2007
ACM
14 years 1 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
Abstract This paper describes the overall design and architecture of the Timber XML database system currently being implemented at the University of Michigan. The system is based u...
EDBT
2002
ACM
14 years 9 months ago
2002
ACM
Abstract. The success of Internet applications has led to an explosive growth in the demand for bandwidth from ISPs. Managing an IP network requires collecting and analyzing networ...
EWSPT
2003
Springer
14 years 2 months ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...