1998 search results - page 164 / 400 » Situated Control Rules |
137
click to vote
PROMAS
2007
Springer
15 years 10 months ago
2007
Springer
Modular programming has the usual benefits associated with structured programming, information hiding and reusability, but also has additional benefits to offer when applied in ...
142
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The natural or man-made disaster demands an efficient communication and coordination among first responders to save life and other community resources. Normally, the traditional c...
144
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
139
click to vote
AAAI
2007
15 years 7 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
135
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Reactivity on the Web is an emerging issue. The capability to automatically react to events (such as updates to Web resources) is essential for both Web services and Semantic Web ...