71 search results - page 12 / 15 » Partial Order Reduction for Probabilistic Branching Time |
84
Voted
SEFM
2009
IEEE
15 years 4 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
129
click to vote
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Ad hoc cross-agency teams are often needed to deal with actual, imminent, or potential crises that involve multiple geographic or political jurisdictions or require coordinated ex...
172
Voted
SIGMOD
2008
ACM
15 years 9 months ago
2008
ACM
Data integration systems offer a uniform interface to a set of data sources. Despite recent progress, setting up and maintaining a data integration application still requires sign...
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
Replicating data objects onto servers across a system can alleviate access delays. The selection of data objects and servers requires solving a constraint optimization problem, wh...
101
Voted
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...