5269 search results - page 833 / 1054 » order 2007 |
158
click to vote
GI
2007
Springer
15 years 10 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...
178
click to vote
GI
2007
Springer
15 years 10 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...
179
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Traditional IP Multicast has been proposed in order to manage group communications over the Internet in a bandwidth efficient manner. Although this proposition has been well studie...
212
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
140
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
An increasing number of governments worldwide understand the importance of electronic participation (eParticipation) i.e. the importance of the use of Information and Communicatio...