1788 search results - page 94 / 358 » Model Theory for Process Algebra |
77
Voted
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
114
Voted
COSIT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. I review theories and research on the cognitive processing of environmental distance information by humans, particularly that acquired via direct experience in the enviro...
FDL
2005
IEEE
15 years 6 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
In multiagent planning, it is often convenient to view a problem as two subproblems: agent local planning and coordination. Thus, we can classify agent activities into two categor...
97
Voted
ENTCS
2007
15 years 20 days ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...