1699 search results - page 250 / 340 » On the Expressive Power of QLTL |
166
click to vote
TPHOL
2009
IEEE
16 years 21 days ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
196
click to vote
ACML
2009
Springer
16 years 21 days ago
2009
Springer
Enterprises have accumulated both structured and unstructured data steadily as computing resources improve. However, previous research on enterprise data mining often treats these ...
157
click to vote
CONCUR
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
182
click to vote
DEXA
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. This paper proposes a natural extension of conditional functional dependencies (cfds [14]) and conditional inclusion dependencies (cinds [8]), denoted by cfdp s and cindp...
170
click to vote
ECOWS
2009
Springer
16 years 19 days ago
2009
Springer
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...