Sciweavers

6677 search results - page 218 / 1336
» Distributed Simulation of MAS
Sort
View
142
Voted
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 8 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
126
Voted
SASO
2007
IEEE
15 years 8 months ago
Clustering Distributed Energy Resources for Large-Scale Demand Management
Managing demand for electrical energy allows generation facilities to be run more efficiently. Current systems allow for management between large industrial consumers. There is, ...
Elth Ogston, Astrid Zeman, Mikhail Prokopenko, Geo...
GRID
2003
Springer
15 years 7 months ago
Applying Database Support for Large Scale Data Driven Science in Distributed Environments
There is a rapidly growing set of applications, referred to as data driven applications, in which analysis of large amounts of data drives the next steps taken by the scientist, e...
Sivaramakrishnan Narayanan, Ümit V. Ça...
117
Voted
HCW
1998
IEEE
15 years 6 months ago
Dynamic, Competitive Scheduling of Multiple DAGs in a Distributed Heterogeneous Environment
With the advent of large scale heterogeneous environments, there is a need for matching and scheduling algorithms which can allow multiple DAG-structured applications to share the...
Michael A. Iverson, Füsun Özgüner
CW
2005
IEEE
15 years 4 months ago
Using a Floating Origin to Improve Fidelity and Performance of Large, Distributed Virtual Worlds
Large Virtual Worlds (VWs) are increasingly common in the computer graphics areas of simulation, games, geospatial or scientific visualisation. In such VWs, simulated motion of th...
Chris Thorne