4241 search results - page 662 / 849 » A Knowledge-Based Software Information System |
200
Voted
IUI
2005
ACM
16 years 17 days 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...
199
Voted
FASE
2005
Springer
16 years 16 days 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 ...
173
Voted
SOCO
2005
Springer
16 years 14 days 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...
150
click to vote
ASPDAC
2004
ACM
16 years 13 days 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,...
179
click to vote
IUI
2004
ACM
16 years 13 days 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...