9989 search results - page 1728 / 1998 » A CLP Approach to Modelling Systems |
163
click to vote
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
182
click to vote
JCDL
2006
ACM
16 years 17 days ago
2006
ACM
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...
170
click to vote
MSWIM
2006
ACM
16 years 17 days ago
2006
ACM
While the deployment of WiFi networks continue to grow at an explosive rate, the multicast multimedia delivery service on WiFi compliant devices is still in its early stage of dev...
162
click to vote
ICCAD
2005
IEEE
16 years 6 days ago
2005
IEEE
Thermal simulations are important for advanced electronic systems at multiple length scales. A major challenge involves electrothermal phenomena within nanoscale transistors, whic...
172
click to vote
RTSS
2005
IEEE
16 years 5 days ago
2005
IEEE
Periodic update transaction model has been used to maintain freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus in the past ...