596 search results - page 62 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
156
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
138
click to vote
ENTCS
2002
15 years 5 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
162
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Multilinear algebra is a powerful theoretical tool for visual
geometry, but widespread usage of traditional typographical
notation often hides its conceptual elegance and
simpli...
184
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Coronary heart disease (CHD) is the number one killer in the United States. Although it is well known that CHD mainly occurs due to blocked arteries, there are contradictory resul...
250
Voted
GIS
2003
ACM
16 years 7 months ago
2003
ACM
Moving object databases store and process data for objects that change location frequently. Materialized views maintained over time must be updated to reflect changes due to the m...