1525 search results - page 88 / 305 » Formal Models for Communication-Based Design |
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
ASIACRYPT
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper reconsiders the established Merkle-Damg˚ard design principle for iterated hash functions. The internal state size w of an iterated n-bit hash function is trea...
CDVE
2006
Springer
13 years 11 months ago
2006
Springer
Knowledge Management (KM) is a complex objective, especially in the instance of extended enterprises consisting of SMEs, and critical in new product design and development (NPD). T...
CDVE
2007
Springer
14 years 2 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
DSN
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...