14331 search results - page 190 / 2867 » On the modeling and analysis of obligations |
197
click to vote
IJCV
2007
15 years 6 months ago
2007
Robots often incorporate computational models of visual attention to streamline processing. Even though the number of visual attention systems employed on robots has increased dram...
137
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
We show that linear value-function approximation is equivalent to a form of linear model approximation. We then derive a relationship between the model-approximation error and the...
168
click to vote
GLOBECOM
2008
IEEE
16 years 28 days ago
2008
IEEE
—This paper presents simple analytical models of hybrid TCP congestion controls, which switch loss-based mode and delay-based mode adaptively, and tries their performance tuning....
162
click to vote
IPPS
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
174
click to vote
ESORICS
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...