2624 search results - page 250 / 525 » The 2LIP model and its implementations |
110
Voted
HUC
2010
Springer
15 years 1 months ago
2010
Springer
Context-aware applications should be intelligible so users can better understand how they work and improve their trust in them. However, providing intelligibility is nontrivial an...
105
click to vote
CN
2008
15 years 28 days ago
2008
The connectivity of the Internet crucially depends on the relationships between thousands of Autonomous Systems (ASes) that exchange routing information using the Border Gateway P...
106
click to vote
COMCOM
2006
15 years 26 days ago
2006
The Host Identity Indirection Infrastructure (Hi3) is a general-purpose networking architecture, derived from the Internet Indirection Infrastructure (i3) and the Host Identity Pr...
110
Voted
LOGCOM
2008
15 years 24 days ago
2008
The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classical work in belief revision focuses on i...
114
click to vote
ASE
2005
15 years 22 days ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...