2935 search results - page 283 / 587 » An Integrated Approach to High Integrity Software Verificati... |
197
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
— Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with specific management interfaces. Moreover, t...
147
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
180
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
A significant challenge in teaching programming to disadvantaged populations is preserving learners’ motivation and confidence. Because programming requires such a diverse set o...
173
click to vote
CN
2007
15 years 6 months ago
2007
Since the turn of the century, smart card technology has pushed its borders both on the high end to integrate new functionalities (e.g., networking) and on the low end to adapt to...
178
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...