4447 search results - page 316 / 890 » Model Checking Games |
126
Voted
INFOCOM
2002
IEEE
15 years 10 months ago
2002
IEEE
— We study a priority service where users are free to choose the priority of their traffic, but are charged accordingly by the network. We assume that each user chooses prioriti...
119
click to vote
ASIACRYPT
2003
Springer
15 years 10 months ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
138
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
124
Voted
ECAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents an adaptation of Luc Steels’s model of Category Formation and Language Sharing. The simple competitive learning algorithm is proposed as a more general means ...