3424 search results - page 226 / 685 » Building Diverse Computer Systems |
204
click to vote
IWQOS
2011
Springer
14 years 10 months ago
2011
Springer
— We present an approach to optimizing the transfer of data objects within a user’s collection of computers and personal devices, subject to a variety of user-defined quality ...
199
click to vote
CONCUR
2004
Springer
16 years 13 days ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
181
Voted
IPPS
2005
IEEE
16 years 19 days ago
2005
IEEE
A distributed system is a collection of computers that are connected via a communication network. Distributed systems have become commonplace due to the wide availability of low-c...
392
click to vote
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
186
click to vote
BIB
2008
15 years 7 months ago
2008
Quantitative models of biochemical networks (signal transduction cascades, metabolic pathways, gene regulatory circuits) are a central component of modern systems biology. Buildin...