4469 search results - page 682 / 894 » A Language for Role Specifications |
172
click to vote
MODELS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
187
click to vote
VAMOS
2007
Springer
16 years 19 days ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
162
click to vote
DOCENG
2006
ACM
16 years 15 days ago
2006
ACM
This paper presents a system that exploits the benefits of modelling multimedia presentations as structured documents within the context of interactive digital television systems....
165
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
187
click to vote
WORDS
2005
IEEE
16 years 3 days ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...