39039 search results - page 62 / 7808 » Implementation of the |
PADL
2010
Springer
14 years 2 days ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
COORDINATION
2008
Springer
13 years 12 months ago
2008
Springer
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
FORTE
1997
1997
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
13 years 11 months ago
In this paper, we propose an implementation method for specifications of distributed systems described in a subclass of LOTOS where operators such as choice and disabling can be ...
JUCS
2008
13 years 10 months ago
2008
: Presentation types are used in the CLIM interface library to tag graphical output with a type and establish an input type context in which the user may use the keyboard to type i...
JUCS
2008
13 years 10 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...