Sciweavers

2016 search results - page 260 / 404
» Tool Support for Ontology Engineering
Sort
View
DSD
2010
IEEE
140views Hardware» more  DSD 2010»
15 years 6 months ago
RobuCheck: A Robustness Checker for Digital Circuits
Abstract—Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Aut...
Stefan Frehse, Görschwin Fey, André S&...
TII
2010
155views Education» more  TII 2010»
15 years 1 months ago
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
Valeriy Vyatkin, Victor Dubinin
LREC
2010
187views Education» more  LREC 2010»
15 years 7 months ago
Language Technology Resource Center
This paper describes the Language Technology Resource Center (LTRC), a U.S. Government website for providing information and tools for users of languages (e.g., translators, analy...
Jennifer DeCamp
CGO
2010
IEEE
15 years 10 months ago
Umbra: efficient and scalable memory shadowing
Shadow value tools use metadata to track properties of application data at the granularity of individual machine instructions. These tools provide effective means of monitoring an...
Qin Zhao, Derek Bruening, Saman P. Amarasinghe
WWW
2007
ACM
16 years 7 months ago
Semi-automated adaptation of service interactions
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...
Hamid R. Motahari Nezhad, Boualem Benatallah, Axel...