6308 search results - page 385 / 1262 » Modeling Urgency in Timed Systems |
157
click to vote
ICFEM
2007
Springer
16 years 27 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
178
click to vote
CRYPTO
2004
Springer
16 years 4 days ago
2004
Springer
We construct two efficient Identity Based Encryption (IBE) systems that are selective identity secure without the random oracle model. Selective identity secure IBE is a slightly w...
163
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We consider the problem of tracking multiple agents moving amongst obstacles, using multiple cameras. Given an environment with obstacles, and many people moving through it, we...
195
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
In a temporal OODB, an OID index (OIDX) is needed to map from OID to the physical location of the object. In a transaction time temporal OODB, the OIDX should also index the objec...
145
click to vote
VMV
2003
15 years 8 months ago
2003
We present a new integrated tool, DERMA, which allows to measure and assess the time evolution of chronic wounds. A laser triangulation 3D scanner is used to acquire the wound geo...