3688 search results - page 528 / 738 » Static analysis of aspects |
183
click to vote
IPPS
2006
IEEE
2006
IEEE
Parallel morphological processing of hyperspectral image data on heterogeneous networks of computers
16 years 20 days ago
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. The development of efficient techniques ...
193
click to vote
MIR
2006
ACM
16 years 18 days ago
2006
ACM
Multimedia Information Retrieval (IR) techniques and associated systems are now numerous and justify the development of strategies and actions to objectively evaluate their capabi...
191
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
175
click to vote
WPES
2005
ACM
16 years 6 days ago
2005
ACM
Organizations in privacy-regulated industries (e.g. healthcare and financial institutions) face significant challenges when developing policies and systems that are properly align...
162
click to vote
APN
2005
Springer
16 years 5 days ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...