2302 search results - page 309 / 461 » Testing as Abstraction |
155
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
146
click to vote
APCCAS
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract - This paper describes the design of a 12-bit digital-to-analog converter for a wireline modem chip implemented in a 0.13tm digital CMOS technology. Transistor-level simul...
157
click to vote
COMPSAC
2006
IEEE
16 years 17 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
198
click to vote
DASC
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— Wireless Sensor Networks (WSNs) have critical applications in diverse domains like environmental monitoring and military operations where accurate location of sensors i...
173
click to vote
HICSS
2006
IEEE
16 years 17 days ago
2006
IEEE
ABSTRACT. Risks associated with change in technology standards and uncertainty over the sharing of costs and benefits among trading partners impede interorganizational information ...