1788 search results - page 289 / 358 » Model Theory for Process Algebra |
137
Voted
ECIS
2011
14 years 3 months ago
2011
Taking a process research approach, we have followed a government agency in the railroad industry over a six-year-period as they have engaged in an IT-based innovation project. Pr...
141
click to vote
PODC
2012
ACM
13 years 6 months ago
2012
ACM
Failure detectors — oracles that provide information about process crashes — are an important ion for crash tolerance in distributed systems. Although current failure-detector...
171
Voted
AAAI
2012
13 years 6 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
126
click to vote
CSB
2003
IEEE
15 years 9 months ago
2003
IEEE
Reverse-engineering of gene networks using linear models often results in an underdetermined system because of excessive unknown parameters. In addition, the practical utility of ...
134
click to vote
SIGMETRICS
2010
ACM
15 years 8 months ago
2010
ACM
Dynamic Spectrum Access systems exploit temporarily available spectrum (‘white spaces’) and can spread transmissions over a number of non-contiguous sub-channels. Such methods...