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