1994 search results - page 228 / 399 » Limited Software Warranties |
RE
1999
Springer
14 years 1 months ago
1999
Springer
Multiple viewpoints are often used in Requirements Engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling b...
ISSTA
1998
ACM
14 years 1 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
EUROMICRO
1997
IEEE
14 years 1 months ago
1997
IEEE
CMOS technology should, over the next few years, reach lithography of under 0.1¡ . This provides a die area improvement of a factor of 10 over today’s technology. What is the b...
LCTRTS
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Previously published methods for estimation of the worstcase execution time on contemporary processors with complex pipelines and multi-level memory hierarchies result in...
IUI
1997
ACM
14 years 1 months ago
1997
ACM
Plan recognition in direct manipulation interfaces must deal with the problem that the information obtained is of low quality with respect to the plan recognition task. There are ...