1634 search results - page 259 / 327 » Reasoning about Knowledge Using Rough Sets |
IWPC
2002
IEEE
14 years 3 months ago
2002
IEEE
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...
ICCAD
2007
IEEE
14 years 2 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
FLAIRS
2007
14 years 18 days ago
2007
In attempting to address real-life decision problems, where uncertainty about input data prevails, some kind of representation of imprecise information is important and several ha...
IADIS
2003
13 years 11 months ago
2003
This paper proposes an investigation of sociotechnical factors affecting the adoption of information technology (IT) by General Practitioners (GPs), for the purposes of the develo...
IEE
2008
13 years 10 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...