9444 search results - page 1586 / 1889 » The Language Model LMNtal |
163
click to vote
LCTRTS
2004
Springer
16 years 1 days ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
202
click to vote
PERVASIVE
2004
Springer
16 years 1 days ago
2004
Springer
Most gesture recognition systems analyze gestures intended for communication (e.g. sign language) or for command (e.g. navigation in a virtual world). We attempt instead to recogn...
163
click to vote
APSEC
2003
IEEE
15 years 12 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
151
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
160
click to vote
FDL
2003
IEEE
15 years 12 months ago
2003
IEEE
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...