6581 search results - page 147 / 1317 » Formalizing Design Patterns |
149
Voted
HCI
2009
15 years 1 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
127
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
133
click to vote
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
146
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilit...
144
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...