3765 search results - page 580 / 753 » Formal Methods for Systems Engineering Behavior Models |
185
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
VLSI research, in its continuous push toward further miniaturisation, is seeking to break through the limitations of current circuit manufacture techniques by moving towards biomi...
199
click to vote
MOBIWAC
2006
ACM
16 years 15 days ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
197
click to vote
MICAI
2005
Springer
16 years 1 days ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
185
click to vote
MABS
2005
Springer
16 years 1 days ago
2005
Springer
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Inde...
153
click to vote
SOFTVIS
2006
ACM
16 years 15 days ago
2006
ACM
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...