Sciweavers

512 search results - page 79 / 103
» A Motivation-Based Mechanism to Design Behaviors
Sort
View
DFT
2003
IEEE
145views VLSI» more  DFT 2003»
14 years 1 months ago
System-Level Analysis of Fault Effects in an Automotive Environment
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...
Fulvio Corno, S. Tosato, P. Gabrielli
WISE
2003
Springer
14 years 1 months ago
Flexible Interface Matching for Web-Service Discovery
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step, to that end, is service discovery, i.e....
Yiqiao Wang, Eleni Stroulia
EMSOFT
2003
Springer
14 years 1 months ago
Generating Heap-Bounded Programs in a Functional Setting
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
Walid Taha, Stephan Ellner, Hongwei Xi
ICSOC
2003
Springer
14 years 1 months ago
Semantic Structure Matching for Assessing Web-Service Similarity
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
Yiqiao Wang, Eleni Stroulia
DSN
2002
IEEE
14 years 27 days ago
Transactional Rollback for Language-Based Systems
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
Algis Rudys, Dan S. Wallach