1661 search results - page 93 / 333 » Real-time specification patterns |
ENTCS
2008
14 years 10 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
HICSS
2010
IEEE
15 years 5 months ago
2010
IEEE
Service oriented device architecture (SODA) is a promising approach for enabling a continuous IT support of medical processes in hospitals. However, there is a lack of specific de...
125
Voted
ECOOP
1994
Springer
15 years 2 months ago
1994
Springer
There is an undeniable demand to capture already proven and matured object-oriented design so that building reusable object-oriented software does not always have to start from scr...
TREC
2001
14 years 11 months ago
2001
The core of our question-answering mechanism is searching for predefined patterns of textual expressions that may be interpreted as answers to certain types of questions. The pres...
EDUTAINMENT
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we describe a framework for generating 3D paper-cutting effects on mesh models. The framework involves the construction of model defined paper-cutting patterns, extr...