2607 search results - page 240 / 522 » On the Architecture of System Verification Environments |
183
click to vote
IDMS
1997
Springer
15 years 10 months ago
1997
Springer
With the evolving availability of wireless communication servicesand of affordable mobile devices such as notebooks or Personal Digital Assistants, mobile computing is becoming wid...
158
Voted
BIOINFORMATICS
2005
15 years 6 months ago
2005
BioLingua is an interactive, web-based programming environment that enables biologists to analyze biological systems by combining knowledge and data through direct end-user progra...
181
click to vote
SEM
2004
Springer
15 years 12 months ago
2004
Springer
The emergence of portable computers and wireless technologies has introduced new challenges for middleware. Mobility brings new requirements and is becoming a key characteristic. M...
169
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Attributes define, classify, or annotate the datum to which they are assigned. However, traditional attribute architectures and cryptosystems are ill-equipped to provide security ...
197
click to vote
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...