2935 search results - page 332 / 587 » An Integrated Approach to High Integrity Software Verificati... |
182
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
This paper considers the potential of Virtual Learning Environments in schools focusing on 2 distinct user groups. Firstly, the children and teachers engaged in the learning situat...
149
click to vote
EAI
2004
15 years 8 months ago
2004
Abstract: Web services are increasingly used to integrate heterogeneous and autonomous applications in cross-organizational cooperations. A key problem is to support a high executi...
151
click to vote
TVLSI
2010
15 years 1 months ago
2010
A new approach for resource based optimization for high performance integrated circuits is presented. The methodology is applied to simultaneous shield and repeater insertion, resu...
166
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
176
click to vote
OOPSLA
2005
Springer
16 years 4 hour ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...