3218 search results - page 194 / 644 » Timed Extensions for SDL |
123
Voted
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
The notion of supply chains has been current for some time in the literature and in practice. Recently this has been extended to consider so-called extended enterprises. The paper...
131
click to vote
CSR
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
148
Voted
ACIVS
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we present a multi-dimensional extension of an image feature extractor, the scale saliency algorithm by Kadir and Brady. In order to avoid the curse of dimensionalit...
176
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
137
Voted
MICAI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper builds on a previous work in which an HTN planner is used to obtain learning routes expressed in the standard language IMS-LD and its main contribution is the ...