15636 search results - page 119 / 3128 » Modelling by supersaturated designs |
155
click to vote
WECWIS
2007
IEEE
16 years 20 days ago
2007
IEEE
Iterative Combinatorial Auctions (ICA) have been getting increasing attention both from researchers and in practice as they can increase efficiency of complex markets with substi...
148
click to vote
ENC
2005
IEEE
16 years 8 hour ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
195
click to vote
SPC
2005
Springer
15 years 12 months ago
2005
Springer
We develop the theme of an earlier paper [3], namely that security protocols for pervasive computing frequently need to exploit empirical channels and that the latter can be classi...
168
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present an approach for QoS management that can be applied to a general class of real-time distributed computation systems. In the proposed approach a switching h...
148
click to vote
ASM
2000
ASM
15 years 10 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...