Søkt på: Søkeresultat
totalt 5 treff
Objects, Agents, and Features
In recent years, concepts in object-oriented modeling and programming have been extended in several directions, giving rise to new paradigms such as age- orientation and …
Advances in Visual Computing
The two volume set LNCS 8887 and 8888 constitutes the refereed proceedings of the 10th International Symposium on Visual Computing, ISVC 2014, held in Las Vegas, NV, USA. The 74 …
Information Security Practice and Experience
This book constitutes the refereed proceedings of the 8th International Conference on Information Security Practice and Experience, ISPEC 2012, held in Hangzhou, China, in April …
Principles of Security and Trust
This book constitutes the proceedings of the 6th International Conference on Principles of Security and Trust, POST 2017, which took place in Uppsala, Sweden in April 2017, held as …
Modeling and Verification of Parallel Processes
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted …