505 search results - page 31 / 101 » Implementation of Belief Change Operators Using BDDs |
TOPLAS
2008
14 years 9 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
ASE
2006
14 years 9 months ago
2006
Ideally, a software project commences with requirements gathering and specification, reaches its major milestone with system implementation and delivery, and then continues, possi...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
If applications were able to detect a user's expertise, then software could automatically adapt to better match expertise. Detecting expertise is difficult because a user...
IMC
2010
ACM
14 years 7 months ago
2010
ACM
The reconvergence of routing protocols in response to changes in network topology can impact application performance. While improvements in protocol specification and implementati...
WMCSA
2002
IEEE
15 years 2 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...