2004 search results - page 75 / 401 » Comparison of Model Checking Tools for Information Systems |
101
click to vote
VTC
2006
IEEE
15 years 5 months ago
2006
IEEE
— Performance comparison of multiuser OFDM-TDMA and OFDMA systems by considering physical and link cross-layer behavior is conducted in this work. We provide a new framework for ...
IAJIT
2010
14 years 10 months ago
2010
: Routing is the process of forwarding data across an inter-network from a designated source to a final destination. Along the way from source to destination, at least one intermed...
102
click to vote
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
CIKM
2001
Springer
15 years 4 months ago
2001
Springer
If XML is to play the critical role of the lingua franca for Internet data interchange that many predict, it is necessary to start designing and adopting benchmarks allowing the c...
110
click to vote
WOSP
2005
ACM
15 years 5 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...