1995 search results - page 153 / 399 » From Data Flow Networks to Process Algebras |
154
click to vote
ACSD
2007
IEEE
16 years 15 days 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 ...
171
Voted
DDECS
2006
IEEE
16 years 6 days 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...
156
Voted
ICANN
2007
Springer
16 years 9 days 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...
215
click to vote
ICDCS
2012
IEEE
13 years 8 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...
192
click to vote
MOBIHOC
2008
ACM
16 years 5 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...