887 search results - page 162 / 178 » Representing Systems with Hidden State |
162
Voted
KR
1991
Springer
15 years 5 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
131
click to vote
WSC
2004
15 years 3 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
93
Voted
BIOINFORMATICS
1999
15 years 1 months ago
1999
Summary: The Genetic Simulation Library (GSL) is a set of C++ programs and classes that can be used in individualbased simulation models of plant and animal populations. The class...
99
Voted
TON
2002
15 years 1 months ago
2002
Abstract-Dynamic routing protocols such as RIP and OSPF essentially implement distributed algorithms for solving the Shortest Paths Problem. The Border Gateway Protocol (BGP) is cu...
128
Voted
PRL
2007
15 years 1 months ago
2007
Government agencies are investing a considerable amount of resources into improving security systems as result of recent terrorist events that dangerously exposed flaws and weakn...