1346 search results - page 215 / 270 » Alternating-time dynamic logic |
161
click to vote
ISCC
2006
IEEE
16 years 2 days ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
153
click to vote
ICDCS
2005
IEEE
15 years 11 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
130
click to vote
ISDA
2005
IEEE
15 years 11 months ago
2005
IEEE
Crew grouping is an important problem and formulating a good solution always involves many challenges. For example, grouping soldiers intelligently to tank combat units, we should...
185
click to vote
ISM
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we show how an interactive system can be distributed among several peer devices. By taking advantage of the current trend towards ambient intelligent environments, w...
157
click to vote
ISMVL
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we propose three novel cache models using Multiple-Valued Logic (MVL) paradigm to reduce the cache data storage area and cache energy consumption for embedded syste...