10159 search results - page 521 / 2032 » System Design Validation Using Formal Models |
164
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
152
click to vote
IJMMS
2008
15 years 6 months ago
2008
The dynamic systems approach to the design of continuous interaction interfaces allows the designer to use simulations, and analytical tools to analyse the behaviour and stability...
158
click to vote
PVM
2007
Springer
16 years 11 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
170
click to vote
IUI
1999
ACM
15 years 10 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
192
click to vote
MOBIWAC
2009
ACM
16 years 23 days ago
2009
ACM
Rapid evolution of wireless networking has provided wide-scale of different wireless access technologies like Bluetooth, ZigBee, 802.11a/b/g, DSRC, 3G UMTS, LTE, WiMAX, etc. The c...