4485 search results - page 100 / 897 » Equivalences on Observable Processes |
SEFM
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
ISQED
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
JAIR
2008
13 years 10 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
CBMS
2009
IEEE
14 years 2 months ago
2009
IEEE
Resource-intensive and complex medical imaging applications can benefit from the use of scientific workflow technology for their design, rapid implementation and reuse, but at the...
TCOM
2010
13 years 8 months ago
2010
—In this paper, we study nonbinary regular LDPC cycle codes whose parity check matrix H has fixed column weight