660 search results - page 45 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
124
click to vote
IJHPCA
2006
15 years 2 months ago
2006
The purpose of GridSolve is to create the middleware necessary to provide a seamless bridge between the simple, standard programming interfaces and desktop systems that dominate t...
181
Voted
CRV
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we propose a novel method for the automatic segmentation of a foreground layer from a natural scene in real time by fusing infrared, color and edge information. Thi...
153
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
102
click to vote
WOTUG
2007
15 years 3 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
132
click to vote
BPM
2008
Springer
15 years 4 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...