20126 search results - page 3525 / 4026 » Timed Transition Systems |
193
click to vote
WG
2004
Springer
16 years 16 days ago
2004
Springer
In portable multimedia systems a number of communicating tasks has to be performed on a set of heterogeneous processors. This should be done in an energy-efficient way. We give th...
215
click to vote
EUROSEC
2010
ACM
16 years 15 days ago
2010
ACM
We present a storage management framework for Web 2.0 services that places users back in control of their data. Current Web services complicate data management due to data lock-in...
172
click to vote
ACSAC
2003
IEEE
16 years 15 days ago
2003
IEEE
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...
171
click to vote
ACSD
2003
IEEE
16 years 15 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
178
click to vote
AIPR
2003
IEEE
16 years 15 days ago
2003
IEEE
In the research reported in this paper, we propose to overcome the unavailability of Global Positioning System (GPS) using combined information obtained from a scanning LADAR rang...