1438 search results - page 193 / 288 » An Expressive Extension of TLC |
151
click to vote
KBSE
2008
IEEE
16 years 24 days 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 ...
180
click to vote
VTC
2008
IEEE
16 years 23 days 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...
145
click to vote
COMPSAC
2007
IEEE
16 years 22 days 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...
197
click to vote
GLOBECOM
2007
IEEE
2007
IEEE
TCP Performance Analysis over Aggressive Physical Carrier Sensing Based Wireless Local Area Networks
16 years 22 days 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...
156
click to vote
ICDE
2007
IEEE
16 years 21 days 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...