Sciweavers

7921 search results - page 1070 / 1585
» Process Modeling in Web Applications
Sort
View
121
Voted
CSCLP
2007
Springer
15 years 9 months ago
Temporal Reasoning in Nested Temporal Networks with Alternatives
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
Roman Barták, Ondrej Cepek, Martin Hejna
144
Voted
HIPC
2007
Springer
15 years 9 months ago
Accelerating Large Graph Algorithms on the GPU Using CUDA
Abstract. Large graphs involving millions of vertices are common in many practical applications and are challenging to process. Practical-time implementations using high-end comput...
Pawan Harish, P. J. Narayanan
106
Voted
TGC
2007
Springer
15 years 9 months ago
Transactional Service Level Agreement
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
Maria Grazia Buscemi, Hernán C. Melgratti
138
Voted
PVM
2005
Springer
15 years 9 months ago
A Peer-to-Peer Framework for Robust Execution of Message Passing Parallel Programs on Grids
Abstract. This paper presents P2P-MPI, a middleware aimed at computational grids. From the programmer point of view, P2P-MPI provides a message-passing programming model which enab...
Stéphane Genaud, Choopan Rattanapoka
124
Voted
GC
2004
Springer
15 years 9 months ago
For-LySa: UML for Authentication Analysis
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
Mikael Buchholtz, Carlo Montangero, Lara Perrone, ...
« Prev « First page 1070 / 1585 Last » Next »