2836 search results - page 272 / 568 » Model Checking for Software Architectures |
136
click to vote
WICSA
2004
15 years 6 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
149
click to vote
SIGMETRICS
2002
ACM
15 years 4 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
146
click to vote
ADBIS
2005
Springer
15 years 10 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
149
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
We present an approach for controlling access to data publishers in the framework of Web-based information services. The paper presents a model for enforcing access control regula...
171
click to vote
DT
2006
15 years 4 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...