3765 search results - page 522 / 753 » Formal Methods for Systems Engineering Behavior Models |
219
click to vote
CCECE
2006
IEEE
16 years 21 days ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
168
click to vote
MASCOTS
2007
15 years 8 months ago
2007
Network performance analysis relies mainly on two models: a workload model and a performance model. This paper proposes to use histograms for characterising the arrival workloads ...
161
click to vote
MEMOCODE
2006
IEEE
16 years 19 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
193
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Randomness is inherent to biochemistry: at each instant, the sequence of reactions that fires is a matter of chance. Some biological systems exploit such randomness, choosing betw...
196
click to vote
TOSEM
2008
15 years 6 months ago
2008
e than previously established, appearing at various levels of abstraction, in diverse systems and languages. The implications of this phenomenon cover various aspects of software e...