3605 search results - page 583 / 721 » System and simulation modeling using SysML |
126
click to vote
RV
2007
Springer
15 years 9 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
109
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...
131
Voted
MSWIM
2004
ACM
15 years 9 months ago
2004
ACM
Today, three different physical (PHY) layers for the IEEE 802.11 WLAN are available (802.11a/b/g); they all provide multi-rate capabilities. To achieve a high performance under v...
128
click to vote
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we analyze the performance of group based detection in sparse sensor networks, when the system level detection decision is made based on the detection reports gener...
146
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...