Sciweavers

853 search results - page 140 / 171
» New test approach for embedded applications
Sort
View
EDO
2000
Springer
15 years 3 months ago
Component Metadata for Software Engineering Tasks
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
Alessandro Orso, Mary Jean Harrold, David S. Rosen...
WSCG
2004
142views more  WSCG 2004»
15 years 1 months ago
Collision Detection Using Polar Diagrams
In Computer Graphics, Collision Detection is considered a key problem with important applications in related areas. Several solutions have been proposed, but independently of the ...
Lidia M. Ortega, Francisco R. Feito, Clara I. Grim...
73
Voted
TSP
2010
14 years 6 months ago
Localization in underwater dispersive channels using the time-frequency-phase continuity of signals
Time-frequency representations constitute the main tool for analysis of nonstationary signals arising in real-life systems. One of the most challenging applications of time-frequen...
Cornel Ioana, Arnaud Jarrot, Cedric Gervaise, Yann...
KDD
2005
ACM
194views Data Mining» more  KDD 2005»
16 years 6 days ago
Web object indexing using domain knowledge
Web object is defined to represent any meaningful object embedded in web pages (e.g. images, music) or pointed to by hyperlinks (e.g. downloadable files). Users usually search for...
Muyuan Wang, Zhiwei Li, Lie Lu, Wei-Ying Ma, Naiya...
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
15 years 5 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...