Sciweavers

3005 search results - page 373 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
IEEEAMS
2003
IEEE
15 years 12 months ago
Programming Systems for Autonomy
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
Alexander V. Konstantinou, Yechiam Yemini
MSS
2005
IEEE
64views Hardware» more  MSS 2005»
16 years 6 days ago
STORAGEDB: Enhancing the Storage Sub-System with DBMS Functionalities
This paper proposes STORAGEDB: a paradigm for implementing storage virtualation using databases. It describes details for storing the logical-to-physical mapping information as ta...
Lin Qiao, Balakrishna R. Iyer, Divyakant Agrawal, ...
189
Voted
KR
2000
Springer
15 years 10 months ago
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
Alan Verberne, Frank van Harmelen, Annette ten Tei...
WWW
2004
ACM
16 years 7 months ago
Designing and Creating a Web Site Based on RDF Content
This paper presents a method and a tool for designing and automatically creating an HTML web site for publishing Semantic Web content represented in RDF(S). The idea is to specify...
Eero Hyvönen, Kim Viljanen, Markus Holi
DAC
2006
ACM
16 years 18 days ago
Visibility enhancement for silicon debug
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
Yu-Chin Hsu, Fur-Shing Tsai, Wells Jong, Ying-Tsai...