2935 search results - page 585 / 587 » An Integrated Approach to High Integrity Software Verificati... |
199
click to vote
NSPW
2004
ACM
16 years 25 days ago
2004
ACM
Over the past years, the computing industry has started various initiatives announced to increase computer security by means of new hardware architectures. The most notable effort...
224
click to vote
DEBS
2003
ACM
16 years 20 days ago
2003
ACM
Publish/subscribe infrastructures, specifically notification servers, are used in a large spectrum of distributed applications as their basic communication and integration infrast...
231
Voted
IWCMC
2010
ACM
16 years 15 days ago
2010
ACM
The first step required by the process of cognition is the intelligent observation of the environment that surrounds the actors of such a process. We present the CalRAdio-Based a...
210
Voted
GROUP
2009
ACM
16 years 3 days ago
2009
ACM
As people collect more and more digital music, photos, and video, the growing scale of the collection challenges how families share and collaborate around home media collections. ...
222
Voted
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
PDE surfaces, whose behavior is governed by Partial Differential Equations (PDEs), have demonstrated many modeling advantages in surface blending, free-form surface modeling, and ...