Sciweavers

8808 search results - page 373 / 1762
» Process of Software Evolution
Sort
View
ECSA
2008
Springer
15 years 8 months ago
Non-synchronous Communications in Process Algebraic Architectural Description Languages
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
Marco Bernardo, Edoardo Bontà
MAGS
2008
114views more  MAGS 2008»
15 years 6 months ago
Automated formal analysis of human multi-issue negotiation processes
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
ICWE
2010
Springer
15 years 5 months ago
A Process Framework for Semantics-Aware Tourism Information Systems
: The growing sophistication of user requirements in tourism due to the advent of new technologies such as the Semantic Web and mobile computing has imposed new possibilities for i...
J. Olawande Daramola
AAMAS
2002
Springer
15 years 6 months ago
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Service matchmaking among heterogeneous software agents in the Internet is usually done dynamically and must be efficient. There is an obvious trade-off between the quality and eff...
Katia P. Sycara, Seth Widoff, Matthias Klusch, Jia...
ICIP
2002
IEEE
16 years 8 months ago
A curve evolution-based variational approach to simultaneous image restoration and segmentation
In this paper, we introduce a novel approach for simultaneous restoration and segmentation of blurred, noisy images by approaching a variant of the Mumford-Shah functional from a ...
Alan S. Willsky, Andy Tsai, Junmo Kim, Müjdat...