Sciweavers

5159 search results - page 297 / 1032
» Structural Testing of Executables
Sort
View
ISER
2004
Springer
142views Robotics» more  ISER 2004»
16 years 18 days ago
Interactive Multi-Modal Robot Programming
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...
Soshi Iba, Christiaan J. J. Paredis, Pradeep K. Kh...
COMPSAC
2002
IEEE
16 years 6 days ago
New Model and Scheduling Protocol for Transactional Workflows
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
Ke Ding, Beihong Jin, Jun Wei, Yulin Feng
TII
2010
124views Education» more  TII 2010»
15 years 1 months ago
Address-Independent Estimation of the Worst-case Memory Performance
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...
Basilio B. Fraguela, Diego Andrade, Ramon Doallo
ICAIL
1995
ACM
15 years 10 months ago
Automated Legislative Drafting: Generating Paraphrases of Legislation
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
Radboud Winkels, Nienke den Haan
HICSS
2006
IEEE
132views Biometrics» more  HICSS 2006»
16 years 1 months ago
An Integrated Framework for IT Governance and the Development and Validation of an Assessment Instrument
Our paper presents a new IT governance framework and introduces an assessment tool designed to measure its effectiveness. The framework builds on the integration between the struc...
Tomi Dahlberg, Hannu Kivijärvi