7080 search results - page 379 / 1416 » Designing High Integrity Systems Using Aspects |
145
click to vote
DEBU
2010
15 years 4 months ago
2010
Databases supporting time dependent and continuously changing geometries, called moving objects databases, have been studied for about 15 years. The field has been flourishing and...
124
click to vote
VLSI
2007
Springer
15 years 10 months ago
2007
Springer
— In the future, high performance computing systems may consist of multiple multicore processors and reconfigurable logic coprocessors. Industry trends indicate that such coproc...
164
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
121
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
We describe our research--its approach, results and products--on Danish emergency medical service (EMS) field or "pre-hospital" work in minor and major incidents. We dis...
138
click to vote
NOSSDAV
2010
Springer
15 years 2 months ago
2010
Springer
Video-on-demand (VoD) is a next-generation Internet application of increasing interest allowing users to start watching a movie almost instantaneously by downloading the video on-...