1549 search results - page 7 / 310 » A Formal Approach for the Development of Automated Systems |
143
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
155
click to vote
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
141
click to vote
GISCIENCE
2010
Springer
15 years 5 months ago
2010
Springer
Over the past decade, automated systems dedicated to geopositioning have been the object of considerable development. Despite the success of these systems for many applications, th...
133
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
110
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...