1187 search results - page 40 / 238 » A Timed Calculus for Wireless Systems |
178
Voted
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
In recent years, there has been an increase in video surveillance systems in public and private environments due to a heightened sense of security. The next generation of surveill...
142
click to vote
MOBISYS
2005
ACM
16 years 3 months ago
2005
ACM
Recently, there has been an increasing interest in wireless broadcast systems as a means to enable scalable content delivery to large numbers of mobile users. However, gracefully ...
127
click to vote
IANDC
2010
15 years 2 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
159
Voted
DSD
2008
IEEE
15 years 10 months ago
2008
IEEE
Ultra low power digital systems are key for any future wireless sensor nodes but also inside nomadic embedded systems (such as inside the digital front end of software defined rad...
135
Voted
ENTCS
2008
15 years 3 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...