3765 search results - page 418 / 753 » Formal Methods for Systems Engineering Behavior Models |
191
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
171
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software projects often rely on third-party libraries made accessible through Application Programming Interfaces (APIs). We have observed many cases where APIs are used in ways ...
206
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
173
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
180
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Most unmanned aerial robots use a Global Navigation Satellite System (GNSS), such as GPS, GLONASS, and Galileo, for their navigation. However, from time to time the GNS...