12981 search results - page 2540 / 2597 » Model Checking (Abstract) |
EUROCRYPT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We consider the question of protecting the privacy of customers buying digital goods. More specifically, our goal is to allow a buyer to purchase digital goods from a ve...
141
click to vote
ICCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. A four-year undergraduate curriculum leading to a Bachelor’s degree in Computational Physics is described. The courses, texts, and seminars are research- and Web-rich, ...
MASA
2001
Springer
15 years 2 months ago
2001
Springer
Abstract 1 Different definitions of agents use concepts such as autonomy, pro-activity, reactivity, social abilities, and intentional models. Very few (if any), however, refer to...
FCCM
2000
IEEE
15 years 2 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...