738 search results - page 103 / 148 » Object Orientation and Formal Techniques |
104
click to vote
DSVIS
1997
Springer
15 years 3 months ago
1997
Springer
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
DOCENG
2004
ACM
15 years 4 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
142
click to vote
ICCV
1995
IEEE
15 years 2 months ago
1995
IEEE
A novel scheme for the detection of object boundaries is presented. The technique is based on active contours evolving in time according to intrinsic geometric measures of the imag...
119
click to vote
CL
2008
Springer
14 years 11 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
89
Voted
IADIS
2003
15 years 12 days 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...