457 search results - page 64 / 92 » cores 2005 |
WECWIS
2005
IEEE
15 years 3 months ago
2005
IEEE
The notion of ambient e-services is defined in this paper to identify a new scope of mobile e-services. The notable features of ambient e-services are the exhilarated linkage based...
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...
80
Voted
ACMSE
2005
ACM
15 years 3 months ago
2005
ACM
Traditionally, computer science education has considered “objects-first” or “imperative-first” approaches, with the focus of the course on teaching design of programs star...
112
click to vote
HASKELL
2005
ACM
15 years 3 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...
HT
2005
ACM
15 years 3 months ago
2005
ACM
Vannevar Bush proposed the memex as a means to support building knowledge in the way he says the human brain works: by association. Achieving this vision has been a core motivatio...