Sciweavers

11653 search results - page 2039 / 2331
» The Development of the C Language
Sort
View
ICSOC
2010
Springer
15 years 3 months ago
BPEL4Pegasus: Combining Business and Scientific Workflows
Business and scientific workflow management systems (WfMS) offer different features to their users because they are developed for different application areas with different require...
Mirko Sonntag, Dimka Karastoyanova, Ewa Deelman
ICTAC
2010
Springer
15 years 3 months ago
A Modality for Safe Resource Sharing and Code Reentrancy
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
Rui Shi, Dengping Zhu, Hongwei Xi
IJAMC
2010
94views more  IJAMC 2010»
15 years 3 months ago
Middleware mechanisms for interaction interoperability in Collaborative Virtual Environments
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
Mario Ciampi, Luigi Gallo, Antonio Coronato, Giuse...
JOT
2010
144views more  JOT 2010»
15 years 3 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
JOT
2010
117views more  JOT 2010»
15 years 3 months ago
Formal Model and DSL for Separation of Concerns based on Views
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
Mehdi Adda, Hamid Mcheick, Hafedh Mili
« Prev « First page 2039 / 2331 Last » Next »