284 search results - page 8 / 57 » Formal Foundation for Pattern-Based Modelling |
FMCO
2003
Springer
14 years 4 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
DBSEC
2010
13 years 11 months ago
2010
Abstract. We consider the problem of developing an abstract metamodel of access control in terms of which policies for protecting a principal's private information may be spec...
SEFM
2005
IEEE
14 years 4 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
ICDE
2007
IEEE
14 years 5 months ago
2007
IEEE
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....
AAAI
2008
14 years 1 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...