2223 search results - page 78 / 445 » Events in Property Patterns |
SASO
2008
IEEE
15 years 4 months ago
2008
IEEE
Publish/subscribe (P/S) is a communication paradigm of growing popularity for information dissemination in largescale distributed systems. The strong decoupling between informatio...
IFM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
WSFM
2007
Springer
15 years 3 months ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...
PAKDD
2007
ACM
15 years 3 months ago
2007
ACM
In graph mining applications, there has been an increasingly strong urge for imposing user-specified constraints on the mining results. However, unlike most traditional itemset co...
ICDCSW
2007
IEEE
15 years 4 months ago
2007
IEEE
1 Challenges of scale have limited the development of event notification systems with strong properties, despite the urgent demand for consistency, reliability, security, and other...