1021 search results - page 167 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
102
click to vote
CAV
1997
Springer
15 years 2 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,...
TOOLS
2000
IEEE
15 years 3 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
105
Voted
GEOINFO
2004
15 years 17 days ago
2004
Abstract With the proliferation of Geographic Information Systems (GIS) and spatial resources over the Internet, there is an increasing demand for robust geospatial information ser...
112
click to vote
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...
SIGSOFT
2007
ACM
15 years 12 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...