265 search results - page 38 / 53 » XHMBS: A Formal Model to Support Hypermedia Specification |
105
click to vote
TSE
2008
14 years 11 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
100
click to vote
SIGSOFT
2004
ACM
16 years 13 days ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
105
click to vote
FUIN
2010
14 years 9 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
114
click to vote
TSMC
2010
14 years 6 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
103
click to vote
ASE
2006
14 years 11 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...