1382 search results - page 115 / 277 » Formal Analysis of Online Algorithms |
159
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
117
click to vote
COLING
1990
15 years 7 months ago
1990
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
178
Voted
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
175
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Real-time surveillance systems, network and telecommunication systems, and other dynamic processes often generate tremendous (potentially infinite) volume of stream data. Effectiv...
215
click to vote
CSREASAM
2009
15 years 7 months ago
2009
Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Although RBAC provides flexible mechanisms to control the access to information, it do...