399 search results - page 51 / 80 » An Integrated Development Environment for Declarative Multi-... |
ICSM
2000
IEEE
15 years 2 months ago
2000
IEEE
Source code investigation is one of the most time consuming activities during software maintenance and evolution, yet currently available tool support suffers from several shortco...
VEE
2009
ACM
15 years 4 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
CAV
1997
Springer
15 years 1 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,...
AUSAI
2003
Springer
15 years 3 months ago
2003
Springer
Negotiation between two trading agents is a two-stage process. First, the agents exchange offers whilst acquiring and exchanging information. Second, they attempt to reach a mutual...
IRI
2005
IEEE
15 years 3 months ago
2005
IEEE
Legacy systems are valuable assets for organisations. They continuously evolve with new emerged technologies in rapidly changing business environment. ICENI provided an excellent ...