3973 search results - page 632 / 795 » Complex adaptation and system structure |
219
click to vote
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
— In today’s service market the provisioning of high quality services has become a critical issue for providers as the business success of their customers is often based on the...
191
click to vote
CONEXT
2006
ACM
16 years 28 days ago
2006
ACM
In the context of a reconfigurable transport protocol, this paper introduces two protocol instances based on the composition and specialisation of the TFRC congestion control and...
179
Voted
IPPS
2005
IEEE
16 years 16 days ago
2005
IEEE
One of the attractive features of Grid computing is that resources in geographically distant places can be mobilized to meet computational needs as they arise. A particularly chal...
219
Voted
HASKELL
2005
ACM
16 years 16 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
167
Voted
HUC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...