10055 search results - page 1722 / 2011 » Structured programming using processes |
122
Voted
GEOS
2007
Springer
15 years 8 months ago
2007
Springer
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...
115
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
With the increased realisation of the benefits of studying environmental data, sensor networks are rapidly scaling in size, heterogeneity of data, and applications. In this paper...
123
click to vote
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
117
Voted
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
113
Voted
ACCV
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we describe a novel uncalibrated active stereo system using coded structured light. Structured-light-based active stereo systems generally consist of a camera and pr...