738 search results - page 28 / 148 » Object Orientation and Formal Techniques |
105
Voted
ICFEM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
106
Voted
ICCV
2007
IEEE
16 years 26 days ago
2007
IEEE
In this paper, a new framework for the tracking of closed curves is described. The proposed approach, formalized through an optimal control technique, enables a continuous trackin...
98
Voted
ECOOP
1999
Springer
15 years 3 months ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
ISORC
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper documents progress to date on a research project, the goal of which is wartime event prediction. The paper describes the operational concept, the datamining environment...
93
Voted
APSEC
2002
IEEE
15 years 3 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...