1995 search results - page 153 / 399 » From Data Flow Networks to Process Algebras |
126
click to vote
ACSD
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
147
click to vote
DDECS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
127
click to vote
ICANN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Over the last few years, functional Magnetic Resonance Imaging (fMRI) has emerged as a new and powerful method to map the cognitive states of a human subject to specific...
191
click to vote
ICDCS
2012
IEEE
13 years 7 months ago
2012
IEEE
Operational network data, management data such as customer care call logs and equipment system logs, is a very important source of information for network operators to detect prob...
163
click to vote
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
In many emerging applications, data streams are monitored in a network environment. Due to limited communication bandwidth and other resource constraints, a critical and practical...