3212 search results - page 160 / 643 » Faster Concept Analysis |
119
click to vote
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
190
click to vote
AOSE
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents the MESSAGE/UML agent oriented software engineering methodology and illustrates it on an analysis case study. The methodology covers MAS analysis and design an...
148
click to vote
WSC
2007
15 years 6 months ago
2007
SimVis is a novel technology for the interactive visual analysis of large and complex flow data which results from Computational Fluid Dynamics (CFD) simulation. The new technolo...
151
click to vote
APBC
2003
15 years 5 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...
129
click to vote
IJDE
2007
15 years 4 months ago
2007
In this paper we discuss the potential role of virtual environments in the analysis phase of computer forensics investigations. General concepts of virtual environments and softwa...