2373 search results - page 100 / 475 » The Design of the Zinc Modelling Language |
106
click to vote
ER
2009
Springer
15 years 8 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
EDO
2000
Springer
15 years 5 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
106
click to vote
ANSOFT
2002
15 years 1 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
100
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
142
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...