Sciweavers

615 search results - page 44 / 123
» Frameworks for Securing Limited-Device Applications
Sort
View
DEXAW
1997
IEEE
99views Database» more  DEXAW 1997»
14 years 27 days ago
A Framework for Dynamic Changes in Workflow Management Systems
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
Manfred Reichert, Peter Dadam
IFIPTCS
2010
13 years 6 months ago
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
Michele Boreale, David Clark, Daniele Gorla
ICRA
2005
IEEE
170views Robotics» more  ICRA 2005»
14 years 2 months ago
Bilateral Teleoperation of Multiple Cooperative Robots over Delayed Communication Networks: Application
Abstract— In a companion paper [1], we propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots over delaye...
Dongjun Lee, Oscar Martinez-Palafox, Mark W. Spong
CARDIS
2008
Springer
146views Hardware» more  CARDIS 2008»
13 years 10 months ago
Provably Secure Grouping-Proofs for RFID Tags
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
Mike Burmester, Breno de Medeiros, Rossana Motta
IPPS
2007
IEEE
14 years 3 months ago
A WSRF-Compliant Debugger for Grid Applications
Grid computing allows the utilization of vast computational resources for solving complex scientific and engineering problems. However, development tools for Grid applications are...
Donny Kurniawan, David Abramson