208 search results - page 16 / 42 » Performance evaluation and model checking join forces |
TGC
2005
Springer
14 years 2 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
TC
2010
13 years 7 months ago
2010
—Superpeer architectures exploit the heterogeneity of nodes in a peer-to-peer (P2P) network by assigning additional responsibilities to higher capacity nodes. In the design of a ...
PRESENCE
2008
13 years 8 months ago
2008
Effective, real-time training of health care professionals in invasive procedures is a challenging task. Furthermore, assessing in practice the acquisition of the dexterity and sk...
UIST
1993
ACM
14 years 26 days ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...