690 search results - page 106 / 138 » Testing Temporal Logic Properties in Distributed Systems |
109
Voted
TVCG
2011
14 years 7 months ago
2011
—Current visual analytics systems provide users with the means to explore trends in their data. Linked views and interactive displays provide insight into correlations among peop...
139
click to vote
ANSOFT
2002
15 years 10 days ago
2002
Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a comp...
96
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
98
Voted
CAV
2000
Springer
15 years 4 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...
116
click to vote
DASFAA
2008
IEEE
15 years 2 months ago
2008
IEEE
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...