3185 search results - page 513 / 637 » Principles for modeling language design |
ICOST
2007
Springer
14 years 4 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
SACMAT
2006
ACM
14 years 4 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
FDL
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
DSVIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
OTM
2005
Springer
14 years 3 months ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...