3605 search results - page 247 / 721 » System and simulation modeling using SysML |
119
click to vote
WSC
2004
15 years 5 months ago
2004
Navy personnel use the REMUS unmanned underwater vehicle to search for submerged objects. Navigation inaccuracies lead to errors in predicting the location of objects and thus inc...
158
Voted
ASIASIM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...
142
Voted
MSWIM
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
124
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We consider a model for interacting objects, where the evolution of each object is given by a finite state Markov chain, whose transition matrix depends on the present and the pa...
126
Voted
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...