1236 search results - page 135 / 248 » Efficient Interpretation Policies |
CONTEXT
2007
Springer
14 years 4 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
An Integrative Mental Model of Knowledge Management can provide a way of visualizing the interrelated elements that comprise a knowledge management system. This original model, bu...
VISSOFT
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...
CSCWD
2001
Springer
14 years 2 months ago
2001
Springer
In manufacturing the interaction between the design of a product and the process to manufacture this product is studied in detail. Consider for example Material Requirements Plann...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...