2935 search results - page 142 / 587 » An Integrated Approach to High Integrity Software Verificati... |
163
click to vote
WISES
2004
15 years 7 months ago
2004
-- Debugging software that runs on highly integrated System-on-Chip devices is complicated because conventional debug tools (like traditional In-Circuit Emulators and Logic Analyze...
163
click to vote
FASE
2003
Springer
15 years 11 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
197
click to vote
XSYM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
142
click to vote
CAISE
2005
Springer
16 years 1 days ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
154
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Electrostatic analysis of complicated molecular surfaces arises in a number of nanotechnology applications including: biomolecule design, carbon nanotube simulation, and molecular...