16218 search results - page 2926 / 3244 » Standards |
183
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
175
click to vote
IPSN
2004
Springer
16 years 3 days ago
2004
Springer
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
192
click to vote
IPSN
2004
Springer
16 years 3 days ago
2004
Springer
Recent advances in technology have made low cost, low power wireless sensors a reality. Clock synchronization is an important service in any distributed system, including sensor n...
179
click to vote
ISER
2004
Springer
16 years 3 days ago
2004
Springer
In October 2003, the first functional load-bearing and energetically autonomous exoskeleton, called the Berkeley Lower Extremity Exoskeleton (BLEEX) was demonstrated, walking at th...
159
click to vote
ISOLA
2004
Springer
16 years 2 days ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...