6355 search results - page 1087 / 1271 » From Logic to Games |
194
click to vote
ISM
2005
IEEE
16 years 4 days 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...
164
click to vote
ISMVL
2005
IEEE
16 years 4 days 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...
187
click to vote
KBSE
2005
IEEE
16 years 4 days ago
2005
IEEE
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
175
click to vote
KBSE
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
188
click to vote
SAINT
2005
IEEE
16 years 4 days ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...