1564 search results - page 286 / 313 » Tool Support for Architectural Decisions |
130
click to vote
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
125
click to vote
ECOOPW
1999
Springer
15 years 6 months ago
1999
Springer
Existing authorization mechanisms fail to provide powerful and robust tools for handling security at the scale necessary for today's Internet. These mechanisms are coming unde...
137
click to vote
TVLSI
2008
15 years 1 months ago
2008
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...
101
click to vote
PACT
2005
Springer
15 years 7 months ago
2005
Springer
The paper is dedicated to an open T-system (OpenTS) — a programming system that supports automatic parallelization of computations for high-performance and distributed applicatio...
154
Voted
CHI
1997
ACM
15 years 6 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...