1346 search results - page 112 / 270 » On the Use of UML for Modeling Physical Systems |
199
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
151
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
We have developed a 3D sound system for headphones that allows real-time sound source and user displacement in a virtual acoustic environment. Because of a flexible design that us...
169
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
242
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
165
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
Ubiquitous computing is fostering an explosion of physical artifacts that are coupled to digital information – so-called Spimes. We introduce a tangible workbench that allows fo...