2546 search results - page 376 / 510 » In support of city exploration |
189
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
150
click to vote
AVSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Over the last decade, there has been an increasing interest in developing vision systems and technologies that support the operation of unmanned platforms for positioning, mapping...
152
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
163
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
197
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
To determine the important trends and issues in thousands of comments from customers and make strategic decisions about business operations, managers must go over these messages m...