510 search results - page 84 / 102 » An Algebraic Framework for Urgency |
143
click to vote
HASKELL
2009
ACM
16 years 20 days ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
149
click to vote
CEC
2008
IEEE
16 years 19 days ago
2008
IEEE
—We present an approach for automated evolutionary design of the functionary of driving agent, able to operate a software model of fast running car. The objective of our work is ...
140
Voted
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
165
click to vote
CRYPTO
2007
Springer
16 years 10 days ago
2007
Springer
We put forward a new paradigm for building hybrid encryption schemes from constrained chosen-ciphertext secure (CCCA) key-encapsulation mechanisms (KEMs) plus authenticated symmet...
161
click to vote
ESOP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...