Sciweavers

5170 search results - page 874 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
223
Voted
SAC
2008
ACM
15 years 5 months ago
Enhancing web service selection by QoS-based ontology and WS-policy
The Service Oriented Architecture enables the development of flexible large scale-applications in open environments by dynamically combining Web services. Nevertheless, current te...
Sodki Chaari, Youakim Badr, Frédériq...
239
Voted
SOSYM
2010
176views more  SOSYM 2010»
15 years 5 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
186
Voted
IAT
2010
IEEE
15 years 5 months ago
Agent Technologies for Space Applications: The DAFA Experience
-- The Distributed Agents For Autonomy (DAFA) study has been performed for ESA/ESTEC by SciSys UK Ltd, VEGA, and Politecnico di Milano in 2008-2009. The aim of DAFA study has been ...
Francesco Amigoni, Andrea Brambilla, Michèl...
243
Voted
ICIP
2009
IEEE
15 years 4 months ago
Overview of adaptive morphology: Trends and perspectives
In this paper we briefly overview emerging trends in `Adaptive Morphology', i.e. work related to the theory and/or applications of image analysis filters, systems, or algorit...
Petros Maragos, Corinne Vachier
249
Voted
FORTE
2011
14 years 10 months ago
Analyzing BGP Instances in Maude
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Th...