294 search results - page 47 / 59 » diagrams 2006 |
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
A core problem in Model Driven Engineering is model consistency achievement: all models must satisfy relationships constraining them. Active consistency techniques monitor and cont...
BPM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation fr...
VIS
2006
IEEE
15 years 11 months ago
2006
IEEE
With the explosive growth of proteomic and expression data of homologous genes, it becomes necessary to explore new methods to visualize and analyze related gene expression data t...
VLSID
2006
IEEE
15 years 10 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
85
Voted
ACSC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...