1454 search results - page 156 / 291 » Stateful traits and their formalization |
165
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
160
click to vote
ECOOPW
1997
Springer
15 years 10 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
135
click to vote
ZUM
1992
Springer
15 years 10 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
246
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
148
click to vote
SG
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we investigate how discourse context in the form of short-term memory can be exploited to automatically group consecutive strokes in digital freehand sketching. With...