6201 search results - page 62 / 1241 » Implementation of Axiomatic Language |
151
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
133
click to vote
ISHPC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The OpenMP Architecture Review Board has released version 2.0 of the OpenMP Fortran language specification in November 2000, and version 2.0 of the OpenMP C/C++ language...
133
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
The integration of aspects into the methodology of stepwise software development and evolution is still an open issue. This paper focuses on the global quantification mechanism of...
170
Voted
CAINE
2003
15 years 5 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
114
click to vote
ENTCS
2007
15 years 3 months ago
2007
We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus ...