GI
2007
Springer
13 years 8 months ago
2007
Springer
GI
2007
Springer
13 years 8 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
GI
2007
Springer
13 years 8 months ago
2007
Springer
: Der Artikel beschreibt, wie endliche Automaten f
GI
2007
Springer
13 years 8 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
GI
2007
Springer
13 years 8 months ago
2007
Springer
: The asymmetric adversary poses a serious threat to civil and military facilities. Hence, the defence against such adversaries, the so-called anti asymmetric warfare, is of intere...
GI
2007
Springer
13 years 8 months ago
2007
Springer
: A multi-coupon (MC) represents a collection of k coupons that a user can redeem to a vendor in exchange for a benefit (some good or service). Recently, Chen et al. [CEL+ 07] prop...
GI
2007
Springer
13 years 8 months ago
2007
Springer
GI
2007
Springer
13 years 8 months ago
2007
Springer
GI
2007
Springer
13 years 8 months ago
2007
Springer
: Discussing ubiquitous computing, the role of space is not quite clear. To get an understanding of the thinking on space, the main concepts of absolute, relational, and social spa...
GI
2007
Springer
13 years 8 months ago
2007
Springer
: The aim of this paper is to present a modelling of rowing dynamics using bond graphs and to replace it by a modelling of mixed reality rowing dynamics using Mixed Reality Bond Gr...