3792 search results - page 520 / 759 » Techniques for Trusted Software Engineering |
239
click to vote
DKE
2011
15 years 1 months ago
2011
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...
146
click to vote
TCAD
2010
15 years 1 months ago
2010
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
178
click to vote
ISSTA
2006
ACM
16 years 19 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
229
click to vote
JIT
2004
Springer
16 years 1 days ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
173
click to vote
COMSWARE
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— In the last few years, WLAN has seen immense growth and it will continue this trend due to the fact that it provides convenient connectivity as well as high speed links...