3765 search results - page 450 / 753 » Formal Methods for Systems Engineering Behavior Models |
207
click to vote
WOSP
2005
ACM
16 years 8 days ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
171
click to vote
WSC
2007
15 years 9 months ago
2007
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...
179
click to vote
CHIMIT
2009
ACM
16 years 1 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
155
click to vote
DC
2007
15 years 6 months ago
2007
We present a randomizedself-stabilizing leaderelection protocol and a randomizedself-stabilizing token circulation protocol under an arbitrary scheduler on anonymous and unidirect...
197
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...