2255 search results - page 95 / 451 » High Assurance Software Systems |
VLSID
2003
IEEE
14 years 10 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
CISIS
2010
IEEE
13 years 8 months ago
2010
IEEE
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...
VISUALIZATION
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes the work of a team of researchers in computer graphics, geometric computing, and civil engineering to produce a visualization of the September 2001 attack on ...
EDBT
2008
ACM
14 years 10 months ago
2008
ACM
Database technology and the Structured Query Language (SQL) have grown enormously in recent years. Applications from different domains have different requirements for using databa...
PDP
2009
IEEE
14 years 4 months ago
2009
IEEE
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...