722 search results - page 116 / 145 » The State Operator in Real Time Process Algebra |
138
click to vote
DATE
2010
IEEE
15 years 14 days ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
114
click to vote
ICSOC
2010
Springer
15 years 12 days ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
109
click to vote
MOBICOM
2006
ACM
15 years 7 months ago
2006
ACM
This paper discusses the current state of the art systems of real time telemetry on oceanographic moorings and describes the design requirements for making acoustic modem data tel...
157
click to vote
WSC
2007
15 years 4 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
126
click to vote
RSS
2007
15 years 3 months ago
2007
Abstract—In this paper, we present the analysis and experimental validation of a vision-aided inertial navigation algorithm for planetary landing applications. The system employs...