Sciweavers

1992 search results - page 187 / 399
» On the (limited) power of non-equivocation
Sort
View
ICSE
1994
IEEE-ACM
15 years 10 months ago
Practical Language-Based Editing for Software Engineers
Abstract. Language-based editing systems have the potential to become a practical, central, and powerful part of every software engineer's toolkit, but progress has been limit...
Michael L. Van de Vanter
ASWC
2006
Springer
15 years 10 months ago
Modular Ontologies - A Formal Investigation of Semantics and Expressivity
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
Jie Bao, Doina Caragea, Vasant Honavar
COOPIS
2004
IEEE
15 years 10 months ago
Discovering Workflow Transactional Behavior from Event-Based Log
Previous workflow mining works have concentrated their efforts on process behavioral aspects. Although powerful, these proposals are found lacking in functionalities and performanc...
Walid Gaaloul, Sami Bhiri, Claude Godart
DFT
2004
IEEE
95views VLSI» more  DFT 2004»
15 years 10 months ago
Mixed Loopback BiST for RF Digital Transceivers
In this paper we analyze the performance of a mixed built-in-self-test (BiST) for RF IC digital transceivers, where a baseband processor can be used both as a test pattern generat...
Jerzy Dabrowski, Javier Gonzalez Bayon
DMSN
2006
ACM
15 years 10 months ago
Efficient handling of sensor failures
Sensors provide unprecedented access to a wealth of information from the physical environment in real-time. However, they suffer from a variety of resource limitations, most impor...
Andreea Berfield, Panos K. Chrysanthis, Alexandros...