780 search results - page 48 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
127
Voted
TOCHI
1998
15 years 2 months ago
1998
A framework of complementary behavior has been proposed which maintains that direct manipulation and speech interfaces have reciprocal strengths and weaknesses. This suggests that...
125
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
In many of embedded systems, particularly for those with high data computations, the delay of memory access is one of the major bottlenecks in the system's performance. It ha...
138
Voted
RE
1999
Springer
15 years 7 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
139
Voted
IIWAS
2003
15 years 4 months ago
2003
In this paper, a framework for building an overall Zero-Latency Data Warehouse system (ZLDWH) is provided. Such a ZLDWH requires tasks such as data changes detection, continuous l...
119
Voted
ISOLA
2007
Springer
15 years 9 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...