6279 search results - page 96 / 1256 » Objects as session-typed processes |
151
click to vote
CAISE
1995
Springer
15 years 8 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
157
click to vote
WSC
1997
15 years 6 months ago
1997
Modeling and simulation of very large systems introduces a number of issues that are not seen in the modeling of simpler systems. These arise because the resource requirements for...
136
click to vote
IADIS
2003
15 years 6 months ago
2003
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
225
click to vote
EUROMED
2010
15 years 2 months ago
2010
Modern high resolution 3D-measuring techniques are widely used in quality control and industrial production, because they allow precise and reliable inspection of objects. Their po...
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
The automatictrackingofbees whilepollinating macadamia trees is important for the understanding of reproductive biology and fruit yield. We present techniques for tracking these s...