135 search results - page 9 / 27 » Towards a More Complete Model of Role |
IFIP
2007
Springer
14 years 1 months ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
EDBTW
2010
Springer
14 years 22 days ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...
HICSS
2011
IEEE
12 years 11 months ago
2011
IEEE
Citizen Energy is a novel, participatory citizen engagement with energy that is designed to extend our relationship with energy beyond existing producerconsumer models towards one...
TABLEAUX
2000
Springer
13 years 11 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
CSFW
2002
IEEE
14 years 17 days ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...