5353 search results - page 278 / 1071 » Modelling Contexts in the Or-BAC Model |
168
click to vote
SIGCPR
2006
ACM
16 years 22 days ago
2006
ACM
This research seeks to validate a comprehensive model of quality in the context of e-business systems. It also extends the UTAUT model with e-quality, trust, and satisfaction cons...
162
click to vote
FDL
2005
IEEE
16 years 11 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
146
click to vote
AIMSA
2004
Springer
16 years 5 days ago
2004
Springer
Ontology modeling requires modeling languages expressive enough to represent various definition types. A definition type which seems to be of particular significance is that provid...
195
click to vote
ASWSD
2004
Springer
16 years 5 days ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
171
click to vote
HUC
2003
Springer
15 years 12 months ago
2003
Springer
Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...