1987 search results - page 367 / 398 » Structural Model: Architecture for Software Designers |
131
Voted
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
154
Voted
CCS
2010
ACM
15 years 10 days ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
154
Voted
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
This article presents a multiprocessor system-on-chip synthesis (MPSoC) algorithm that optimizes system mean time to failure. Given a set of directed acyclic periodic graphs of co...
176
Voted
AISS
2010
14 years 10 months ago
2010
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
131
Voted
MM
2004
ACM
15 years 9 months ago
2004
ACM
The realization of multimedia systems still heavily relies on building monolithic systems that need to be reengineered for every change in the application and little of which can ...