2132 search results - page 177 / 427 » Automated software winnowing |
105
Voted
OTM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
187
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents a domotic house gateway capable of seamlessly interacting with different devices from heterogeneous domotic systems and appliances. Such a gateway also provide...
125
Voted
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is e...
154
Voted
SERP
2007
15 years 5 months ago
2007
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
107
Voted
STTT
2002
15 years 3 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...