3119 search results - page 271 / 624 » Abstract Requirement Analysis in Multiagent System Design |
131
click to vote
SPIN
1999
Springer
15 years 9 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
154
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
Policy evaluation is a critical step in the approximate solution of large Markov decision processes (MDPs), typically requiring O(|S|3 ) to directly solve the Bellman system of |S...
228
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Online Scientific Applications (OSA) require statistical analysis of large multidimensional datasets. Towards this end, we have designed and developed a data storage and retrieval...
126
click to vote
ER
2008
Springer
15 years 6 months ago
2008
Springer
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
164
click to vote
EUROSSC
2007
Springer
15 years 10 months ago
2007
Springer
This paper addresses the design of a large area, high resolution, networked pressure sensing floor with primary application in movement-based human-computer interaction (M-HCI). T...