754 search results - page 60 / 151 » Using Style to Understand Descriptions of Software Architect... |
121
click to vote
ENTCS
2011
14 years 8 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
COMPUTER
2004
15 years 1 months ago
2004
any benefits. Most significantly, an abstract architectural model can provide a global perspective of the system and expose important system-level properties and integrity constrai...
118
click to vote
APSEC
1999
IEEE
15 years 5 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
COGSR
2010
14 years 8 months ago
2010
Computational concepts of cognition, their implementation in complex autonomous systems, and their empirical evaluation are key techniques to understand and validate concepts of c...
118
click to vote
ICCCN
2008
IEEE
15 years 8 months ago
2008
IEEE
— The Recursive Network Architecture (RNA) explores the relationship of layering to protocol and network architecture. RNA examines the implications of using a single, tunable pr...