Sciweavers

2259 search results - page 343 / 452
» Leveraging Distributed Software Development
Sort
View
EDOC
2008
IEEE
15 years 11 months ago
Automating Co-evolution in Model-Driven Engineering
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
Antonio Cicchetti, Davide Di Ruscio, Romina Eramo,...
ISORC
2008
IEEE
15 years 11 months ago
Usability Aspects of WCET Analysis
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
Jan Gustafsson
134
Voted
TLCA
2007
Springer
15 years 11 months ago
Two Session Typing Systems for Higher-Order Mobile Processes
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
Dimitris Mostrous, Nobuko Yoshida
CLUSTER
2006
IEEE
15 years 10 months ago
A New Flexible MPI Collective I/O Implementation
The MPI-IO standard creates a huge opportunity to break out of the traditional file system I/O methods. As a software layer between the user and the file system, an MPI-IO libra...
Kenin Coloma, Avery Ching, Alok N. Choudhary, Wei-...
128
Voted
WECWIS
2006
IEEE
97views ECommerce» more  WECWIS 2006»
15 years 10 months ago
On State Synchronization of Business Conversations
The paper assumes that business interactions between trading partners are composed of well defined conversations (tasks), such as issue a purchase order, process payment, refund m...
Carlos Molina-Jiménez, Santosh K. Shrivasta...