GI
2007
Springer
13 years 11 months ago
2007
Springer
Abstract: Zur elektronischen Identifikation von Einzeltieren mit Hilfe von LFTranspondern (134,2 kHz) sind f
GI
2007
Springer
13 years 11 months ago
2007
Springer
GI
2007
Springer
13 years 11 months ago
2007
Springer
GI
2007
Springer
13 years 11 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 11 months ago
2007
Springer
: Der Artikel beschreibt, wie endliche Automaten f
GI
2007
Springer
13 years 11 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 11 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 11 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 11 months ago
2007
Springer
GI
2007
Springer
13 years 11 months ago
2007
Springer
