6167 search results - page 43 / 1234 » Can Refinement be Automated |
104
Voted
GRAPHICSINTERFACE
2001
15 years 2 months ago
2001
This paper presents a novel selective refinement scheme of progressive meshes. In previous schemes, topology information in the neighborhood of a collapsed edge is stored in the a...
ENTCS
2008
15 years 25 days ago
2008
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
105
click to vote
APSEC
1998
IEEE
15 years 5 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
72
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
99
Voted
FORTE
1990
15 years 1 months ago
1990
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...