1003 search results - page 130 / 201 » A Framework for Developing Feature-Rich Software Systems |
FOSSACS
2010
Springer
14 years 6 days 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 ...
RSP
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents Wcomp which is a framework for rapid application prototyping. This framework has been developed for targeting wearable computing applications but can also be u...
CC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
RAS
2008
13 years 8 months ago
2008
Robot projects are often evolutionary dead ends, with the software and hardware they produce disappearing without trace afterwards. Common causes include dependencies on uncommon ...
DOLAP
2010
ACM
13 years 6 months ago
2010
ACM
The integration of OLAP with web-search technologies is a promising research topic. Recommender systems are popular web-search mechanisms, because they can address information ove...