7557 search results - page 378 / 1512 » Modeling Timed Concurrent Systems |
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
322
click to vote
ICDCS
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—In this paper we have proposed and designed FindingHuMo (Finding Human Motion), a real-time user tracking system for Smart Environments. FindingHuMo can perform device-f...
194
click to vote
PPAM
2007
Springer
16 years 26 days ago
2007
Springer
Lattice-Boltzmann (LB) methods are a well-known technique in the context of computational fluid dynamics. By nature, they can easily be parallelized but their adaptation to the Gr...
197
click to vote
WSC
2008
15 years 9 months ago
2008
This research proposes the integration of a Geographic Information System (GIS) with the Arena Simulation software to model the transit of ocean-going vessels through the Panama C...
197
click to vote
ICMAS
1998
15 years 8 months ago
1998
Agentis is a framework for building interactive multiagent applications which is based upon a model of agent interaction whose key elements are services and tasks. Central to the ...