7557 search results - page 493 / 1512 » Modeling Timed Concurrent Systems |
171
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
168
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
214
click to vote
IPSN
2010
Springer
15 years 9 months ago
2010
Springer
The IEEE 802.15.4 standard for wireless sensor networks can support energy efficient, reliable, and timely packet transmission by tuning the medium access control parameters macMi...
199
click to vote
ROBOCUP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
227
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...