5668 search results - page 850 / 1134 » Overlaps in Requirements Engineering |
180
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
200
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Electronic Health Records (EHR) have been proposed as a means for managing the technical and organisational complexity that arises in modern healthcare. Different EHR systems are...
187
Voted
FDG
2009
ACM
16 years 1 months ago
2009
ACM
Engineering education has evolved from providing students solely with technical skills to providing them with courses that provide students with the non-technical “soft skills...
191
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
145
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Mobile thin client computing is an enabler for the execution of demanding applications from mobile handhelds. In thin client computing, the application is executed on remote serve...