4139 search results - page 620 / 828 » Designing and Implementing Combinator Languages |
119
click to vote
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
151
click to vote
CAV
1997
Springer
15 years 8 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
125
Voted
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
OWLED
2008
15 years 5 months ago
2008
One of the commonly requested features for OWL is some form of key support, generally phrased as allowing inverse-functional datatype properties. For a variety of technical reasons...
128
click to vote
WSCG
2003
15 years 5 months ago
2003
This paper presents our work on an experimental system for visualization of the light load. The light load is thought as the total amount of light radiation received by all areas ...