Sciweavers

8555 search results - page 389 / 1711
» Property Based Coordination
Sort
View
BIRTHDAY
2008
Springer
15 years 9 months ago
Graph-Based Design and Analysis of Dynamic Software Architectures
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi...
AGI
2008
15 years 9 months ago
Distance-Based Non-Deterministic Semantics
Representing uncertainty and reasoning with dynamically evolving systems are two related issues that are in the heart of many information systems. In this paper we show that these ...
Ofer Arieli, Anna Zamansky
DAGSTUHL
2007
15 years 9 months ago
Component Based Electronic Voting Systems
—An electronic voting system may be said to be composed by a number of components, each of which has a number of properties. One of the most attractive effects of this way of thi...
David Lundin
FLAIRS
2001
15 years 9 months ago
Case-Based Reasoning at General Electric
GeneralElectric has created case-basedreasoningsystems for remotediagnostics,call center automation,andinternal productivityprojects. CBRapplications havebeenusedto remotelydiagno...
William Cheetham, Anil Varma, Kai Goebel
CI
2007
45views more  CI 2007»
15 years 7 months ago
Market-Based Approaches to Optimization
Abstract. We present a general discussion of what constitutes a marketoriented approach to optimization. We demonstrate how a general framework can be used to conceptually improve ...
Maria Karlsson, Fredrik Ygge, Arne Andersson