7335 search results - page 1209 / 1467 » Scene Based Reasoning |
195
click to vote
ITCC
2005
IEEE
16 years 4 days ago
2005
IEEE
One of the key steps in economy based grid resource allocation is to make reasonable prices for the grid resources. For resources’ prices decide the resource flow in the Grid, f...
131
click to vote
KBSE
2005
IEEE
16 years 4 days ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
182
click to vote
KBSE
2005
IEEE
16 years 4 days ago
2005
IEEE
Due to the large success of wireless networks and handheld devices, the ambient intelligence (AmI) paradigm is becoming a reality. One of the most challenging objectives to achiev...
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...
166
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...