Sciweavers

657 search results - page 103 / 132
» Defining the Problems of Framework Reuse
Sort
View
CIA
2006
Springer
15 years 7 months ago
Multilevel Approach to Agent-Based Task Allocation in Transportation
We present a hybrid algorithm for distributed task allocation problem in a cooperative logistics domain. Our approach aims to achieve superior computational performance by combinin...
Martin Rehák, Premysl Volf, Michal Pechouce...
ENTCS
2010
75views more  ENTCS 2010»
15 years 3 months ago
A Lightweight Approach to Customizable Composition Operators for Java-like Classes
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
Giovanni Lagorio, Marco Servetto, Elena Zucca
126
Voted
TKDE
2008
134views more  TKDE 2008»
15 years 3 months ago
Contraflow Transportation Network Reconfiguration for Evacuation Route Planning
Given a transportation network having source nodes with evacuees and destination nodes, we want to find a contraflow network configuration (that is, ideal direction for each edge) ...
Sangho Kim, Shashi Shekhar, Manki Min
CSE
2009
IEEE
15 years 1 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
AO
2006
127views more  AO 2006»
15 years 3 months ago
Formal ontology meets industry
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...
Stefano Borgo, Matteo Cristani, Roberta Cuel