77016 search results - page 86 / 15404 » Modeling Modeling |
110
click to vote
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
Providing technology support for older people offers distinct challenges for social and IT systems delivery. The definition and integration of services, the diversity of supply, va...
125
Voted
CONCUR
2003
Springer
15 years 7 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
124
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
130
click to vote
APCCM
2010
15 years 3 months ago
2010
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...
113
click to vote
ICWE
2010
Springer
15 years 28 days ago
2010
Springer
Sketching web applications with mockup tools is a common practice that improves the process of elicitation and validation of requirements in web applications. However, mockups are ...