3432 search results - page 263 / 687 » Model Development in the UML-based Specification Environment... |
223
click to vote
ICUMT
2009
15 years 5 months ago
2009
In cognitive radio networks, secondary user (SU) does not have rights to transmit when the primary user (PU) band is occupied, that's why a sensing technique must be done. Rec...
189
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
188
click to vote
MOBICOM
1995
ACM
15 years 10 months ago
1995
ACM
In this paper, we describe a simulation environment which is used to examine, validate, and predict the performance of mobile wireless network systems. This simulation environment...
218
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
210
click to vote
SERP
2003
15 years 8 months ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...