3119 search results - page 322 / 624 » Abstract Requirement Analysis in Multiagent System Design |
139
click to vote
STTT
1998
15 years 4 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
152
Voted
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Context-aware systems represent extremely complex and heterogeneous distributed systems, composed of sensors, actuators, application components, and a variety of context ...
126
Voted
ETT
2006
15 years 5 months ago
2006
Abstract-- The outage behaviour of the single cell DSCDMA uplink is investigated for flat Rayleigh fading channels. Goal of the work is to find an analytical way for the optimisati...
177
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
228
click to vote
AMINING
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. MUSASHI is a set of commands which enables us to efficiently execute various types of data manipulations in a flexible manner, mainly aiming at data processing of huge a...