201 search results - page 6 / 41 » PRIMA - a DBMS Prototype Supporting Engineering Applications |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
PERVASIVE
2008
Springer
13 years 7 months ago
2008
Springer
The Context Recognition Network (CRN) Toolbox permits fast implementation of activity and context recognition systems. It utilizes parameterizable and reusable software components...
SIGMOD
2011
ACM
12 years 10 months ago
2011
ACM
Conventional OLTP systems assign each transaction to a worker thread and that thread accesses data, depending on what the transaction dictates. This thread-to-transaction work ass...
ECSCW
1997
13 years 8 months ago
1997
: Extending and reinterpreting earlier work on the 'Spatial Model', this paper presents a generic model for supporting awareness in cooperative systems ('the AETHER ...
CODES
1998
IEEE
13 years 11 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...