3973 search results - page 632 / 795 » Complex adaptation and system structure |
199
click to vote
AINA
2006
IEEE
16 years 15 days 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...
175
click to vote
CONEXT
2006
ACM
16 years 12 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...
162
click to vote
IPPS
2005
IEEE
16 years 18 hour 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...
198
click to vote
HASKELL
2005
ACM
15 years 12 months 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...
151
click to vote
HUC
2005
Springer
15 years 12 months 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...