4255 search results - page 231 / 851 » Cover |
171
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
182
click to vote
MEMBRANE
2004
Springer
15 years 12 months ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
170
click to vote
SFM
2004
Springer
15 years 12 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
144
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Messaging plays a central role in the development of distributed object-oriented systems. It is supported by the specification of the Java Message Service (JMS) and CORBA’s Noti...
173
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— This paper provides a framework for analysis and performance evaluation of Optical Burst Switching (OBS) networks. In particular, a new reduced load fixed point approximation ...