234 search results - page 28 / 47 » Validation of requirement models by automatic prototyping |
MIDDLEWARE
2005
Springer
15 years 4 months ago
2005
Springer
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...
BPM
2004
Springer
15 years 2 months ago
2004
Springer
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
HT
2010
ACM
15 years 4 months ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...