20175 search results - page 61 / 4035 » Is abstraction the key to computing |
103
Voted
FUIN
2010
14 years 11 months ago
2010
Abstract. A (combinatorial) channel consists of pairs of words representing all possible inputoutput channel situations. In a past paper, we formalized the intuitive concept of “...
93
Voted
ICDCS
2008
IEEE
15 years 7 months ago
2008
IEEE
— Checkpointing is an indispensable technique to provide fault tolerance for long-running high-throughput applications like those running on desktop grids. This paper argues that...
BROADNETS
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— Privacy and security are two important but seemingly contradict objectives in pervasive computing environments (PCEs). On the one hand, service providers want to authen...
114
click to vote
APN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
110
click to vote
TEC
2008
15 years 14 days ago
2008
Abstract-- This article describes the Candidate Design Environment we developed for efficient identification of promising drug candidates. Developing effective drugs from active mo...