2106 search results - page 246 / 422 » Operational Semantics for MSC'96 |
167
click to vote
ACTA
2005
15 years 6 months ago
2005
It is known that LTL formulae without the `next' operator are invariant under the so-called stutter-equivalence of words. In this paper we extend this principle to general LTL...
184
click to vote
DATAMINE
1998
15 years 6 months ago
1998
Data mining evolved as a collection of applicative problems and efficient solution algorithms relative to rather peculiar problems, all focused on the discovery of relevant infor...
146
click to vote
SIGOPS
2010
15 years 5 months ago
2010
A computer system often has multiple power management modules controlling different power knobs. Uncoordinated operation of these knobs not only leads to suboptimal operation but ...
271
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Increasing monitoring of transactions, environmental parameters, homeland security, RFID chips and interactions of online users rapidly establishes new data sources and applicatio...
163
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
Rapid improvements in network bandwidth, cost, and ubiquity combined with the security hazards and high total cost of ownership of personal computers have created a growing market...