4902 search results - page 359 / 981 » Multi-agent Systems Methodology |
156
click to vote
HYBRID
2007
Springer
16 years 29 days ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
169
click to vote
FLAIRS
2008
15 years 9 months ago
2008
It is well-known that default reasoning and preference-based decision making both make use of preferential relations between possible worlds resp. alternatives. In this paper, we ...
214
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...
154
click to vote
FPL
2005
Springer
16 years 10 days ago
2005
Springer
The aim of the PhD thesis is the development of systematic methodologies both for hardware and software level for designing low-energy and performance efficient reconfigurable sys...
208
click to vote
ZUM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...