2153 search results - page 192 / 431 » From Requirements Models to Formal Specifications in B |
168
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
168
click to vote
TAMODIA
2008
15 years 8 months ago
2008
Abstract. The successful application of ubiquitous computing in crisis management requires a thorough understanding of the mechanisms that extract information from sensors and comm...
164
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
In innovation adoption literature, the important role of the organizational context as a determinant of information systems (IS) success has long been pointed out. Various factors...
142
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Many solutions for securing inter-provider handover proposed to date make use of the concept of security context transfer. However, none of these solutions addresses problems aris...
177
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
We derive a new class of photometric invariants that can be used for a variety of vision tasks including lighting invariant material segmentation, change detection and tracking, a...