1003 search results - page 164 / 201 » A Framework for Developing Feature-Rich Software Systems |
ICDAR
1999
IEEE
15 years 2 months ago
1999
IEEE
We describe the Open Mind Initiative, a framework for large-scale collaborative efforts in building components of "intelligent" systems that address common-sense reasoni...
ACMSE
2006
ACM
15 years 1 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
FM
2008
Springer
14 years 11 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
ADHOC
2008
14 years 10 months ago
2008
Virtual machines (VM) are promising as system software in sensor networks. A major impediment to their widespread acceptance is their performance overhead. Compiling VM bytecode to...
ICFP
2007
ACM
15 years 10 months ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...