95
Voted
GI
2007
Springer
15 years 8 months ago
2007
Springer
: Der Artikel beschreibt, wie endliche Automaten f
224
Voted
GI
2007
Springer
15 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
15 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...
118
Voted
GI
2007
Springer
15 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...
167
Voted
ECTEL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper presents a system that connects students with complementary profiles, so they can interchange knowledge and help each other. The profile of the students is bui...