Sciweavers

2836 search results - page 337 / 568
» Towards Hovering Information
Sort
View
SAINT
2005
IEEE
16 years 10 days ago
The Simplicity Project: Architecture Concept
The research community is working towards a new allencompassing vision of the Internet. This vision certainly includes powerful transport and switching technologies, wireless netw...
Nicola Blefari-Melazzi, Wolfgang Kellerer, Chie No...
SBACPAD
2005
IEEE
177views Hardware» more  SBACPAD 2005»
16 years 10 days ago
Automatic Data-Flow Graph Generation of MPI Programs
The Data-Flow Graph (DFG) of a parallel application is frequently used to take scheduling decisions, based on the information that it models (dependencies among the tasks and volu...
Rafael Ennes Silva, Guilherme P. Pezzi, Nicolas Ma...
SIGMOD
2005
ACM
169views Database» more  SIGMOD 2005»
16 years 9 days ago
Data and metadata management in service-oriented architectures: some open challenges
Over the last decade, the role of information technology in enterprises has been transforming from one of providing automation services to one of enabling business innovation. ITâ...
Vishal Sikka
167
Voted
EMISA
2005
Springer
16 years 8 days ago
Unbundling and Deploying CRM Applications as e-Services
: The development of Customer Relationship Management (CRM) capabilities by incrementally sourcing and combining “best of breed” services from different providers is a key leve...
Pedro R. Falcone Sampaio, Yong He
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
16 years 8 days ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn