1216 search results - page 199 / 244 » Hybrid type checking |
APVIS
2001
13 years 10 months ago
2001
This paper demonstrates the application of graph drawing and information visualisation techniques to the visualisation of information which can be modelled as an attributed graph....
LDTA
2010
13 years 9 months ago
2010
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
CLASSIFICATION
2006
13 years 8 months ago
2006
:This series of papers is intended to evaluate astrocladistics in reconstructing phylogenies of galaxies. The objective of this second paper is to formalize the concept of galaxy f...
GPEM
2007
13 years 8 months ago
2007
Cancer is an evolutionary process; mutated cells are selected for abnormal growth and survivability. Here, a computer simulation is used to model ductal carcinoma in situ (DCIS), ...
WEA
2010
Springer
13 years 6 months ago
2010
Springer
Classifying network flows by their application type is the backbone of many crucial network monitoring and controlling tasks, including billing, quality of service, security and tr...