4241 search results - page 662 / 849 » A Knowledge-Based Software Information System |
159
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
147
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
128
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
112
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
— In deep-submicron (DSM) technology, minimizing power consumption of a bus is one of the most important design objectives in embedded system-on-chip (SoC) design. In this paper,...
139
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
Today the availability of large digital content archives (video, ebook, audio) creates many problems in terms of user interaction and data manipulation (browsing, searching). Many...