384 search results - page 63 / 77 » On the Semantics of Markov Automata |
118
click to vote
ISOLA
2010
Springer
15 years 9 days ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
108
Voted
JUCS
2010
15 years 9 days ago
2010
Abstract: We study the number of matching substrings in the pattern matching problem. In general, there can be a quadratic number of matching substrings in the size of a given text...
135
click to vote
CODES
2010
IEEE
14 years 12 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
163
click to vote
SCP
2011
14 years 8 months ago
2011
Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector. Understanding and implementing Reo, howe...
233
click to vote
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
Abstract-- Inverted files have been very successful for document retrieval, but sponsored search is different. Inverted files are designed to find documents that match the query (a...