4418 search results - page 722 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
143
click to vote
FIDJI
2003
Springer
15 years 11 months ago
2003
Springer
Spontaneous multihop networks with high device mobility and frequent fluctuations are interesting platforms for future distributed applications. Because of the large number of mob...
183
click to vote
CAISE
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
168
click to vote
INFOCOM
1992
IEEE
15 years 10 months ago
1992
IEEE
Local area networks have long been established as the basis for distributed systems. Continuity of service and bounded and known message delivery latency are requirements of a num...
166
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper discusses the problem of increased programming time for intrinsic evolvable hardware (EHW) as the complexity of the circuit grows. We develop equations for the size of ...
182
click to vote
AAAI
2008
15 years 8 months ago
2008
We describe a novel integration of Planning with Probabilistic State Estimation and Execution resulting in a unified representational and computational framework based on declarat...