4350 search results - page 751 / 870 » Case studies for contract-based systems |
ICRE
1996
IEEE
14 years 1 months ago
1996
IEEE
This paper discusses a technique to structure utterance records of the meetings for requirements elicitation based on speech act theory. To elicit requirements to the system to be...
FPGA
1997
ACM
14 years 1 months ago
1997
ACM
Configurable Computing Machines (CCMs) are an emerging class of computing platform which provide the computational performance benefits of ASICs, yet retain the flexibility and ra...
VVS
1996
IEEE
14 years 1 months ago
1996
IEEE
A critical issue in understanding high speed flows is the study of shock waves. This paper summarizes our research on techniques for the detection and visualization of shock waves...
DAC
1996
ACM
14 years 1 months ago
1996
ACM
This paper provides a case study that shows how a demanding application stresses the capabilities of today's CAD tools, especially in the integration of products from multipl...
VLDB
1992
ACM
14 years 27 days ago
1992
ACM
Multiversion two-phase locking (MV2PL) has been incorporated in some commercial transaction processing systems to support the serializable execution of queries. A drawback to this...