Sciweavers

2786 search results - page 204 / 558
» A Practical Technique for Process Abstraction
Sort
View
TRUSTBUS
2009
Springer
16 years 1 months ago
A Formalization of HIPAA for a Medical Messaging System
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
Peifung E. Lam, John C. Mitchell, Sharada Sundaram
WOLLIC
2009
Springer
16 years 1 months ago
Spoilt for Choice: Full First-Order Hierarchical Decompositions
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
Sebastian Link
HAPTICS
2008
IEEE
16 years 27 days ago
Haptic Rendering of Actuated Mechanisms by Active Admittance Control
Abstract. Virtual Prototyping with haptic feedback offers great benefits in the development process of actuated systems. We present a generic control scheme for the haptic render...
Michael Strolz, Martin Buss
ISCAS
2008
IEEE
102views Hardware» more  ISCAS 2008»
16 years 25 days ago
Asynchronous balanced gates tolerant to interconnect variability
Abstract— Existing methods of gate level power attack countermeasures depend on exact capacitance matching of the dual-rail data outputs of each gate. Process variability and a l...
Konrad J. Kulikowski, Vyas Venkataraman, Zhen Wang...
ICIW
2007
IEEE
16 years 23 days ago
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...