10241 search results - page 1477 / 2049 » Goal-Driven Software Development |
198
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
237
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
Microcoded customized IPs offer superior performance and direct programmability of micro-architectural structures compared to instruction-based processors, yet at the cost of dra...
170
click to vote
AVI
2008
15 years 9 months ago
2008
In many applications transactions between the elements of an information hierarchy occur over time. For example, the product offers of a department store can be organized into pro...
192
click to vote
AVI
2008
15 years 9 months ago
2008
Multi-touch interfaces have been a focus of research in recent years, resulting in development of various innovative UI concepts. Support for existing WIMP interfaces, however, sh...
208
Voted
AVI
2008
15 years 9 months ago
2008
MedioVis is a visual information seeking system that aims to support users' natural seeking behavior, particularly in complex information spaces. To achieve this goal we intr...