GI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
GI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
GI
2009
Springer
14 years 3 months ago
2009
Springer
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
GI
2009
Springer
14 years 3 months ago
2009
Springer
: Large traffic network systems require handling huge amounts of data, often distributed over a large geographical region in space and time. Centralised processing is not then the ...
GI
2009
Springer
14 years 3 months ago
2009
Springer
: Managing general game playing is the problem addressed in this paper. It is considered to be done on a game description written in a declarative language. The language, which is ...
GI
2009
Springer
14 years 3 months ago
2009
Springer
: Nach den aktuellen gesetzlichen Bestimmungen ist auch eigenst
GI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract: Zentrales Anliegen bei der Erstellung gro
GI
2009
Springer
14 years 3 months ago
2009
Springer
: Today software systems have to face frequent requests for change during their whole lifetime. It is very important that they can adapt to the frequently changing needs and are fl...
GI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
GI
2009
Springer
14 years 4 months ago
2009
Springer
: The Out-of-Home (OOH) media markets currently rely on a plethora of methods and technologies for measuring their potential or real success. From nationwide interviews over statis...