4211 search results - page 599 / 843 » Types as Abstract Interpretations |
171
click to vote
WISES
2003
15 years 7 months ago
2003
Abstract — Control systems are often software-intensive applications that are becoming extremely complex as new functionality is required. Complexity is a real engineering challe...
126
click to vote
ECIS
2000
15 years 7 months ago
2000
Abstract-E-channel competition is the competition that conventional channels encounter from electronic channels such as the Internet, which have grown significantly in importance w...
135
Voted
WSCG
2003
15 years 7 months ago
2003
Visualizations are a crucial component in CAD systems, typically displaying design layout or physical behavior. In this paper we introduce in an innovative way visualizations, tha...
150
click to vote
SCM
1998
15 years 7 months ago
1998
Abstract. An SCM database contains data which can be used as input for Software Metrics. Both data for Size-Oriented Metrics, and information for ProcessOriented Metrics are availa...
143
click to vote
BILDMED
2009
15 years 7 months ago
2009
Abstract. The tracking of individual cells in time-lapse microscopy facilitates the assessment of certain characteristics of different cell types. Since manual tracking of an adequ...