49 search results - page 2 / 10 » Automating UI Generation by Model Composition |
124
click to vote
ISORC
2005
IEEE
15 years 5 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
CHI
2002
ACM
16 years 1 days ago
2002
ACM
CPM-GOMS is a modeling method that combines the task decomposition of a GOMS analysis with a model of human resource usage at the level of cognitive, perceptual, and motor operati...
163
click to vote
FASE
2011
Springer
14 years 3 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
109
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
IJAOSE
2010
14 years 9 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...