4350 search results - page 852 / 870 » Case studies for contract-based systems |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Business to consumer (B2C) electronic commerce has led to new relationships connecting various supply chain partners via the Internet, significantly increasing the quantity and qu...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
PPPJ
2003
ACM
14 years 1 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
Most people consider a database is merely a data repository that supports data storage and retrieval. Actually, a database contains rich, inter-related, multi-typed data and infor...