4636 search results - page 383 / 928 » Modelling and Validation with VipTool |
127
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Dynamic Spectrum Access can enable secondary network users to access unused spectrum, or whitespace, which is found between the transmissions of primary users in a wireless networ...
144
click to vote
ICWN
2008
15 years 6 months ago
2008
In our previous work, a highly scalable and faulttolerant network architecture, the Progressive Multi-hop Rotational Clustered (PMRC) structure, is proposed for constructing large...
119
click to vote
ECIS
2004
15 years 6 months ago
2004
In the networked world of today, global virtual teams (GVT) are becoming a common form of work structure. The geographic dispersion in GVT has led to members' high reliance o...
141
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
132
click to vote
EAAI
2008
15 years 4 months ago
2008
Multi-agent systems allow the simulation of complex phenomena that cannot easily be described analytically. Multi-agent approaches are often based on coordinating agents whose act...