1572 search results - page 111 / 315 » Modeling IEEE 802.11 DCF System Dynamics |
HICSS
2008
IEEE
14 years 10 months ago
2008
IEEE
Interorganizational Systems (IOS) adoption requires cooperation and collaboration between trading partners and, therefore, is reliant on the nature of their relationships. There h...
AHS
2007
IEEE
14 years 10 months ago
2007
IEEE
This paper introduces Perplexus, a European project that aims to develop a scalable hardware platform made of custom reconfigurable devices endowed with bio-inspired capabilities...
HICSS
1995
IEEE
15 years 1 months ago
1995
IEEE
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
HICSS
1998
IEEE
15 years 2 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
102
click to vote
RTSS
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....