1776 search results - page 226 / 356 » Using a Logic Programming Language with Persistence and Cont... |
127
click to vote
IEEEAMS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
136
click to vote
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
104
click to vote
NDSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Application-level protocol analyzers are important components in tools such as intrusion detection systems, firewalls, and network monitors. Currently, protocol analyzers are wri...
110
click to vote
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
136
click to vote
ENTCS
2007
15 years 3 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...