Sciweavers

1645 search results - page 125 / 329
» Rationale-Based Use Case Specification
Sort
View
PAMI
2002
151views more  PAMI 2002»
15 years 6 months ago
Vision for Mobile Robot Navigation: A Survey
This paper surveys the developments of the last 20 years in the area of vision for mobile robot navigation. Two major components of the paper deal with indoor navigation and outdoo...
Guilherme N. DeSouza, Avinash C. Kak
ACMSE
2005
ACM
15 years 8 months ago
Generative approaches for application tailoring of mobile devices
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
Victoria Davis, Jeff Gray, Joel Jones
COMSIS
2010
15 years 3 months ago
VisualLISA: A visual environment to develop attribute grammars
The focus of this paper is on crafting a new visual language for attribute grammars (AGs), and on the development of the associated programming environment. We present a solution f...
Nuno Oliveira, Maria João Varanda Pereira, ...
IFIP
2010
Springer
15 years 1 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
IHI
2010
109views Healthcare» more  IHI 2010»
15 years 1 months ago
Process-based derivation of requirements for medical devices
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
Heather M. Conboy, George S. Avrunin, Lori A. Clar...