Sciweavers

15779 search results - page 3010 / 3156
» Change-oriented software engineering
Sort
View
ATAL
2008
Springer
14 years 9 days ago
OpCog: an industrial development approach for cognitive agent systems in military UAV applications
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...
Kai Reichel, Nico Hochgeschwender, Holger Voos
ATAL
2008
Springer
14 years 9 days ago
LS/ABPM - an agent-powered suite for goal-oriented autonomic BPM
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...
Giovanni Rimassa, Martin E. Kernland, Roberto Ghiz...
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
14 years 9 days ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
CAISE
2008
Springer
14 years 9 days ago
Refactoring Process Models in Large Process Repositories
With the increasing adoption of process-aware information systems (PAIS), large process model repositories have emerged. Over time respective models have to be re-aligned to the re...
Barbara Weber, Manfred Reichert
CAISE
2008
Springer
14 years 9 days ago
Improving Data Independence, Efficiency and Functional Flexibility of Integration Platforms
The concept of Enterprise Application Integration (EAI) is widely used for integrating heterogeneous applications and systems by message-based communication. Typically, EAI servers...
Matthias Böhm, Jürgen Bittner, Dirk Habi...
« Prev « First page 3010 / 3156 Last » Next »