1187 search results - page 89 / 238 » Designing presentations for on-demand viewing |
EASSS
2001
Springer
15 years 3 months ago
2001
Springer
This contribution presents a knowledge-based model of the agents’ mutual awareness (social knowledge) and justifies its role in various classes of applications of the concept of...
ECBS
1997
IEEE
15 years 3 months ago
1997
IEEE
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
FMCAD
2007
Springer
15 years 2 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
CODES
2004
IEEE
15 years 2 months ago
2004
IEEE
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...
CAISE
2006
Springer
15 years 2 months ago
2006
Springer
Databases are continuously evolving environments, where design constructs are added, removed or updated quite often. Research has extensively dealt with the problem of database evo...