1216 search results - page 86 / 244 » Hybrid type checking |
ICMCS
2005
IEEE
15 years 5 months ago
2005
IEEE
Within the world of multimedia, the new MPEG-21 standard is currently under development. The purpose of this new standard is to create an open framework for multimedia delivery an...
108
click to vote
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
182
click to vote
ECOOP
2009
Springer
16 years 16 days ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
100
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
116
click to vote
FOIKS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...