1438 search results - page 193 / 288 » An Expressive Extension of TLC |
165
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
190
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
–In this paper we present an analytical model for delay tolerant message propagation in a dynamic vehicular network. The analysis provides upper and lower bounds for message prop...
161
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
212
click to vote
GLOBECOM
2007
IEEE
2007
IEEE
TCP Performance Analysis over Aggressive Physical Carrier Sensing Based Wireless Local Area Networks
16 years 1 months ago
— Aggressive physical carrier sensing (PCS), which improves the spatial reuse efficiency by shrinking the PCS range, is a promising technique to scale high density Wireless Loca...
171
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Recently, systems providing access to extremely large data collections, managed in a distributed manner, gain emerging attention. A promising approach to implement the physical la...