DocumentCode
3198561
Title
[Title page i]
fYear
2009
fDate
14-16 April 2009
Abstract
The following topics are dealt with: next generation systems; Internet; autonomic networks; self-organizing systems; code generation; ASSL specification; swarm-base systems; SOA; runtime verification; and distributed systems.
Keywords
distributed processing; fault tolerant computing; formal specification; program verification; software architecture; ASSL specification; Internet; SOA; autonomic networks; code generation; distributed systems; next generation systems; runtime verification; self-organizing systems; swarm-base systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Autonomic and Autonomous Systems, 2009. EASe 2009. Sixth IEEE Conference and Workshops on
Conference_Location
San Francisco, CA
Print_ISBN
978-0-7695-3623-1
Type
conf
DOI
10.1109/EASe.2009.1
Filename
4839193
Link To Document