4447 search results - page 734 / 890 » Model Checking Games |
169
click to vote
IJNSEC
2007
15 years 6 months ago
2007
The ability of communicating with a selected party anonymously is an important aspect of network security. Communicating anonymously means that no adversary can discern who is com...
171
click to vote
JVCIR
2007
15 years 6 months ago
2007
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...
193
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
We formulate the L2-gain control problem for a general nonlinear, state-space system with projection dynamics in the state evolution and hard constraints on the set of admissible ...
168
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
Extreme Programming (XP) is an agile (lightweight) software development methodology and it becomes more and more popular. XP proposes many interesting practices, but it also has s...
171
click to vote
TSMC
2002
15 years 6 months ago
2002
The group-buying auction is a new kind of dynamic pricing mechanism on the Internet. It is a variant of the sellers' price double auction, which makes the bidders as a group t...