Sciweavers

2951 search results - page 419 / 591
» Trustable Task Processing Systems
Sort
View
DBPL
2003
Springer
120views Database» more  DBPL 2003»
15 years 11 months ago
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
Iluju Kiringa, Raymond Reiter
FPL
2003
Springer
81views Hardware» more  FPL 2003»
15 years 11 months ago
A TCP/IP Based Multi-device Programming Circuit
This paper describes a lightweight Field Programmable Gate Array (FPGA) circuit design that supports the simultaneous programming of multiple devices at different locations throug...
David V. Schuehler, Harvey Ku, John W. Lockwood
MICCAI
2001
Springer
15 years 11 months ago
Virtual Fixtures for Robotic Cardiac Surgery
We are developing virtual fixtures for the internal mammary artery (IMA) harvest portion of robot-assisted coronary artery bypass graft procedures. A preoperative CT scan will be p...
Shinsuk Park, Robert D. Howe, David F. Torchiana
POLICY
2001
Springer
15 years 11 months ago
Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification
Specifying policies doesn’t occur in splendid isolation but as part of refining an enterprise specification. The roles, the tasks, and the business processes of an ODP community ...
James B. Cole, John Derrick, Zoran Milosevic, Kerr...
ICCAD
2000
IEEE
149views Hardware» more  ICCAD 2000»
15 years 11 months ago
Dynamic Response Time Optimization for SDF Graphs
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
Dirk Ziegenbein, Jan Uerpmann, Ralph Ernst