78
Voted
GI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract: Zur elektronischen Identifikation von Einzeltieren mit Hilfe von LFTranspondern (134,2 kHz) sind f
104
Voted
GI
2007
Springer
15 years 6 months ago
2007
Springer
63
Voted
GI
2007
Springer
15 years 6 months ago
2007
Springer
111
Voted
GI
2007
Springer
15 years 6 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...
75
Voted
GI
2007
Springer
15 years 6 months ago
2007
Springer
: Der Artikel beschreibt, wie endliche Automaten f
100
Voted
GI
2007
Springer
15 years 6 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
15 years 6 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...
89
Voted
GI
2007
Springer
15 years 6 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...
65
Voted
GI
2007
Springer
15 years 6 months ago
2007
Springer
80
Voted
GI
2007
Springer
15 years 6 months ago
2007
Springer
