Sciweavers

3825 search results - page 45 / 765
» The Language of Time: A Reader
Sort
View
SACRYPT
2005
Springer
189views Cryptology» more  SACRYPT 2005»
14 years 4 months ago
A Scalable, Delegatable Pseudonym Protocol Enabling Ownership Transfer of RFID Tags
The ability to link two different sightings of the same Radio Frequency Identification (RFID) tag enables invasions of privacy. The problem is aggravated when an item, and the ta...
David Molnar, Andrea Soppera, David Wagner
MODELS
2009
Springer
14 years 5 months ago
Incremental Model Synchronization for Efficient Run-Time Monitoring
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...
ICALP
2010
Springer
14 years 3 months ago
Scheduling Periodic Tasks in a Hard Real-Time Environment
Friedrich Eisenbrand, Nicolai Hähnle, Martin ...
UML
1999
Springer
14 years 3 months ago
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study
Thomas Firley, Michaela Huhn, Karsten Diethers, Th...
VL
1996
IEEE
207views Visual Languages» more  VL 1996»
14 years 3 months ago
Integrating a Constraint Solver into a Real-Time Animation Environment
Peer Griebel, Georg Lehrenfeld, Wolfgang Müll...