2108 search results - page 209 / 422 » An Operational Semantics for Stateflow |
160
click to vote
HOTOS
1999
IEEE
15 years 10 months ago
1999
IEEE
The file is a well-understood and very simple abstraction, which has been successfully used in both centralized and distributed systems. However, files are not expressive enough t...
144
click to vote
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
To deal with the frequent, foreseeable and variable disconnections that occur in a mobile environment, we introduce a exible, two-level consistency model. Semantically related or ...
166
click to vote
ECSCW
2003
15 years 7 months ago
2003
Research in collaborative editing tends to have been undertaken in isolation rather than as part of a general information or application infrastructure. Our goal is to develop a un...
149
click to vote
ISTA
2001
15 years 7 months ago
2001
: Nowadays, a central topic in database science is the need of an integrated access to large amounts of data provided by various information sources whose contents are strictly rel...
167
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...