4902 search results - page 387 / 981 » Multi-agent Systems Methodology |
214
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
217
click to vote
ICALP
2011
Springer
14 years 10 months ago
2011
Springer
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
146
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
With increasing design sizes and adoption of System on a Chip (SoC) methodology, design synthesis and test automation tools are hitting capacity and performance bottlenecks. Curre...
150
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes a new framework for modeling value network of inter-organization interactions. We propose a set of building blocks elements of the model made of economic enti...
120
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we propose a systematic way of incorporating human inputs in navigation plans. The proposed controller is based on a new class of navigation function based contro...