14642 search results - page 2437 / 2929 » It's Time for a Change |
154
click to vote
STACS
2004
Springer
16 years 13 days ago
2004
Springer
Motivated by a scheduling problem encountered in multicast environments, we study a vertex labelling problem, called Directed Circular Arrangement (DCA), that requires one to fin...
209
click to vote
TCC
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
210
click to vote
UML
2004
Springer
16 years 13 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
181
click to vote
VLDB
2004
ACM
16 years 13 days ago
2004
ACM
We introduce an auditing framework for determining whether a database system is adhering to its data disclosure policies. Users formulate audit expressions to specify the (sensiti...
158
click to vote
VLDB
2004
ACM
16 years 13 days ago
2004
ACM
The ObjectRank system applies authority-based ranking to keyword search in databases modeled as labeled graphs. Conceptually, authority originates at the nodes (objects) containin...