4418 search results - page 681 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
186
click to vote
JCISE
2002
15 years 6 months ago
2002
The first Technical Note in this series [1] introduced the international standard ISO 10303, informally known as STEP (STandard for the Exchange of Product model data). Subsequent...
180
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
Deterministic public-key encryption, introduced by Bellare, Boldyreva, and O’Neill (CRYPTO ’07), provides an alternative to randomized public-key encryption in various scenari...
197
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...
168
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Automotive traffic monitoring using probe vehicles with Global Positioning System receivers promises significant improvements in cost, coverage, and accuracy. Current approaches, ...
196
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
Aglets is a mobile agent system that allows an agent to move with its code and execution state across the network to interact with other entities. Aglets utilizes Java RMI to supp...