2004 search results - page 218 / 401 » Comparison of Model Checking Tools for Information Systems |
156
click to vote
FORTE
1997
15 years 7 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
162
click to vote
IANDC
2010
15 years 4 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
193
click to vote
JITT
2011
15 years 1 months ago
2011
Mobile phones are becoming a primary platform for information access and when coupled with recommender systems technologies they can become key tools for mobile users both for lei...
169
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...
154
click to vote
IJCNN
2000
IEEE
15 years 10 months ago
2000
IEEE
Selectiveattentionis a mechanismsused to sequentiallyselectthe spatiallocationsof salientregionsin the sensor’sfieldof view. This mechanism overcomesthe problem of flooding limi...