2763 search results - page 62 / 553 » The Dangerous 'All' in Specifications |
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
In Online Analytic Processing (OLAP) deployments, different users, lines of businesses and business units often create adhoc aggregation hierarchies tailor-made for specific report...
DAC
1998
ACM
14 years 10 months ago
1998
ACM
We describe the verification of the IM: a large, complex (12,000 gates and 1100 latches) circuit that detects and marks the boundaries between Intel architecture (IA-32) instructi...
DEXAW
1999
IEEE
14 years 1 months ago
1999
IEEE
Adequate, timely and effective consultation of relevant stakeholders is of paramount importance in the requirements engineering process. However, the thorny issue of making sure t...
IPPS
1996
IEEE
14 years 1 months ago
1996
IEEE
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...
ICSE
2000
IEEE-ACM
14 years 23 days ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...