5015 search results - page 901 / 1003 » Model Checking a Path |
ATAL
2006
Springer
14 years 21 days ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
DCOSS
2006
Springer
14 years 19 days ago
2006
Springer
User access control in sensor networks defines a process of granting user the access right to the information and resources. It is essential for the future real sensor network depl...
IFIPTCS
2000
14 years 16 days ago
2000
We present an index to search a two-dimensional pattern of size m m in a two-dimensional text of size n n, even when the pattern appears rotated in the text. The index is based on ...
SIGCOMM
2000
ACM
14 years 15 days ago
2000
ACM
Traffic measurement is a critical component for the control and engineering of communication networks. We argue that traffic measurement should make it possible to obtain the spati...
HYBRID
1997
Springer
14 years 15 days ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...