2478 search results - page 250 / 496 » Quadtrees as an Abstract Domain |
156
click to vote
BPM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
179
click to vote
DEXA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
178
click to vote
EPIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A theoretical model for agents interaction to study semantic heterogeneity is proposed. The context of this study is informational agents with knowledge bases that are he...
192
click to vote
FIDJI
2003
Springer
15 years 12 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
211
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Many multi-robot systems are heterogeneous cooperative systems, systems consisting of different species of robots cooperating with each other to achieve a common goal. T...