17129 search results - page 2931 / 3426 » Applied Computing |
178
click to vote
LICS
2005
IEEE
16 years 14 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
188
click to vote
RTCSA
2005
IEEE
16 years 14 days ago
2005
IEEE
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
253
click to vote
RTCSA
2005
IEEE
16 years 14 days ago
2005
IEEE
Embedded systems are usually resource limited in terms of processing power, memory, and power consumption, thus embedded TCP/IP should be designed to make the best use of limited ...
214
click to vote
RTCSA
2005
IEEE
16 years 14 days ago
2005
IEEE
We propose a real-time message scheduling algorithm which is applied to schedule periodic realtime messages in IEEE 802.15.4 for LR-WPAN(Low Rate Wireless Personal Area Network). ...
173
click to vote
SAINT
2005
IEEE
16 years 14 days ago
2005
IEEE
To discover how precisely links among researchers’ Web sites capture the ties of academic communities, this study conducts Web citation analysis. 3,878 Web sites of computer sci...