3239 search results - page 575 / 648 » A Logical Process Calculus |
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...
ICDE
1993
IEEE
15 years 4 months ago
1993
IEEE
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...
101
click to vote
RTSS
1993
IEEE
15 years 4 months ago
1993
IEEE
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...
104
Voted
DAC
2007
ACM
15 years 4 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...
111
click to vote
DEBS
2007
ACM
15 years 4 months ago
2007
ACM
Emerging sensor network technologies are expected to substantially augment applications such as environmental monitoring, health-care, and home/commercial automation. However, muc...