8810 search results - page 297 / 1762 » Openness |
207
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
—This paper presents an ad-hoc vehicular protocol to support the logistics of first responders. First responders often travel several kilometers to reach an area impacted by an ...
163
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. With the integration of security-critical services into Building Automation Systems (BAS), the demands on the underlying network technologies increase rapidly. Relying on...
183
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...