1288 search results - page 16 / 258 » On Analysis of Design Component Contracts: A Case Study |
126
click to vote
DOLAP
1999
ACM
15 years 4 months ago
1999
ACM
In this paper, we describe the design of a data warehousing system for an engineering company ‘R’. This system aims to assist users in retrieving data for business analysis in...
106
click to vote
NDSS
2000
IEEE
15 years 4 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
ECIS
2003
15 years 1 months ago
2003
Positivist, single case study is an important research approach within the information systems discipline. This paper provides detailed definitions of key concepts in positivist, ...
111
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
107
click to vote
TSE
2011
14 years 6 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...