4738 search results - page 318 / 948 » Past, Present, and Future |
189
click to vote
ISORC
2005
IEEE
16 years 9 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
157
Voted
ISLPED
2005
ACM
16 years 9 days ago
2005
ACM
High power consumption and low energy efficiency have become significant impediments to future performance improvements in modern microprocessors. This paper contributes to the so...
166
click to vote
ITICSE
2005
ACM
16 years 9 days ago
2005
ACM
Established as a research project at the University of Illinois in the spring of 2002, eFuzion has proven to be a valuable and effective pedagogical set of tools. It provides the ...
148
click to vote
ROBOCUP
2005
Springer
16 years 6 days ago
2005
Springer
Agents in dynamic environments have to deal with world rep- To appear in: RoboCup 2005: Robot Soccer World Cup IX, c Springer-Verlag, 2006 resentations that change over time. In or...
145
click to vote
JCDL
2004
ACM
16 years 4 days ago
2004
ACM
The Digital Collection and Archives (DCA) in partnership with Academic Technology (AT) at Tufts University developed a digital library solution for long-term storage and integrati...