1914 search results - page 304 / 383 » Abstract lambda-Calculus Machines |
DATE
2010
IEEE
14 years 28 days ago
2010
IEEE
—The success of server virtualization has let to the deployment of a huge number of virtual machines in today’s data centers, making a manual virtualization management very lab...
COMPSAC
2002
IEEE
14 years 24 days ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
WCRE
2002
IEEE
14 years 22 days ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
ESWS
2010
Springer
14 years 19 days ago
2010
Springer
Abstract. In previous work we have shown that the MapReduce framework for distributed computation can be deployed for highly scalable inference over RDF graphs under the RDF Schema...
COMPSAC
2009
IEEE
14 years 16 days ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...