Sciweavers

2036 search results - page 205 / 408
» Simulating On-the-Road Behavior Using a Driving Simulator
Sort
View
AC
2003
Springer
16 years 7 days ago
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
Dan Barak, David Harel, Rami Marelly
171
Voted
AAI
2006
103views more  AAI 2006»
15 years 7 months ago
A generic time management service for distributed multi-agent systems
Multi-agent systems are well suited for building large software systems. A great deal of these complex systems includes process flows that are concerned with time or are even time...
Lars Braubach, Alexander Pokahr, Winfried Lamersdo...
183
Voted
PERCOM
2010
ACM
15 years 5 months ago
Towards IEEE 802.15.4e: A study of performance aspects
—We discuss the applicability of IEEE 802.15.4 for application in industrial automation. Based on the specific requirements in this field, especially w.r.t. real-time operation...
Feng Chen, Reinhard German, Falko Dressler
ICCAD
2009
IEEE
159views Hardware» more  ICCAD 2009»
15 years 4 months ago
First steps towards SAT-based formal analog verification
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips...
CN
2006
70views more  CN 2006»
15 years 7 months ago
Small-world characteristics of Internet topologies and implications on multicast scaling
Recent work has shown that the physical connectivity of the Internet exhibits small-world behavior. Characterizing such behavior is important not only for generating realistic Int...
Shudong Jin, Azer Bestavros