1366 search results - page 6 / 274 » Modularizing Contexted Constraints |
EUC
2008
Springer
13 years 11 months ago
2008
Springer
Multithreading is an important software modularization technique. However, it can incur substantial overheads, especially in processors where the amount of architecturally visible...
ENTCS
2002
13 years 9 months ago
2002
This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the ...
IJCNN
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract Received Signal Strength (RSS) based location systems are potential candidates to enable indoor location aware services due to pervasively available wireless local area ...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
COGSCI
2007
13 years 9 months ago
2007
: Modularity in the human brain remains a controversial issue, with disagreement over the nature of the modules that exist, and why, when and how they emerge. It is a natural assum...