2432 search results - page 161 / 487 » High-level approach to modeling of observed system behavior |
161
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
137
click to vote
WECWIS
2007
IEEE
16 years 21 days ago
2007
IEEE
Reputation systems facilitate cooperation in open environments. Centrality-based reputation systems use centrality measures to rank individuals, i.e., compute their reputation bas...
162
click to vote
IROS
2006
IEEE
16 years 13 days ago
2006
IEEE
Information processing within autonomous robots should follow a biomimetic approach. In contrast to traditional approaches that make intensive use of accurate measurements, numeric...
164
click to vote
FORTE
2008
15 years 7 months ago
2008
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
264
click to vote
CCE
2007
15 years 7 months ago
2007
: The concept of Virtual Organisation (VO) offers various solutions to management, collaboration and coordination issues important for distributed collaborating teams. Deployment o...