18 search results - page 4 / 4 » A User Interface for Executing Asbru Plans |
STTT
2008
13 years 5 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
SIGMOD
2010
ACM
13 years 10 months ago
2010
ACM
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...
VTC
2006
IEEE
13 years 11 months ago
2006
IEEE
—The aim of this paper is to assess the applicability of a repeater connected to a distributed antenna system for improving indoor capacity in UMTS radio network. A guarantee of ...