399 search results - page 23 / 80 » Combining the Animation and Testing of Abstract Data Types |
WCRE
1999
IEEE
14 years 1 months ago
1999
IEEE
Atomic components are sets of related variables, types, rograms, e.g., abstract data types and objects. Many techniques exist to detect them automatically. However, as an evaluati...
COMCOM
2000
13 years 9 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
GIS
2009
ACM
2009
ACM
Web 2.0 Geospatial Visual Analytics for Improved Urban Flooding Situational Awareness and Assessment
14 years 10 months ago
Situational awareness of urban flooding during storm events is important for disaster and emergency management. However, no general purpose tools yet exist for rendering rainfall ...
FMOODS
2006
13 years 10 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
BMCBI
2010
13 years 9 months ago
2010
Background: There is a vast need to find clinically applicable protein biomarkers as support in cancer diagnosis and tumour classification. In proteomics research, a number of met...