8337 search results - page 1479 / 1668 » Reasoning With Characteristic Models |
230
click to vote
GLOBAL
2003
Springer
15 years 10 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
136
click to vote
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
144
Voted
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
145
click to vote
IFIP
2003
Springer
15 years 10 months ago
2003
Springer
Efficient communication in Bluetooth scatternets requires design of intra and inter-piconet scheduling algorithms, and therefore numerous algorithms have been proposed. However, du...
127
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
The threat of abandoned or extensively overhauled IS is a major concern for both MIS specialists and businesses. This concern may stem from the mismatch between MIS specialist cha...