1179 search results - page 197 / 236 » Event Model Interfaces for Heterogeneous System Analysis |
155
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
154
click to vote
ASSETS
2006
ACM
15 years 8 months ago
2006
ACM
In previous work we have presented a prototype of an assistant system for the blind that can be used for self-localization and interactive object identification of static objects ...
123
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
104
click to vote
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
120
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Every day, businesses are threatened by crises that could have been prevented or their impact lessened if only knowledge of causal and influencing factors were known and better ma...