1549 search results - page 7 / 310 » A Formal Approach for the Development of Automated Systems |
EUROMICRO
2009
IEEE
14 years 2 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...
SAFECOMP
2010
Springer
13 years 5 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...
GISCIENCE
2010
Springer
13 years 8 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...
INFOCOM
2006
IEEE
14 years 1 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...
ATAL
2005
Springer
14 years 28 days 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...