6047 search results - page 307 / 1210 » Modeling with Extend |
155
Voted
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we present a new framework for specifying access control policies in smart spaces called Criticality-Aware Access Control (CAAC). The main idea is to automatically r...
118
click to vote
BIOCOMP
2006
15 years 6 months ago
2006
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
164
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—We consider a scenario in which users share an access point and are mainly interested in VoIP applications. Each user is allowed to adapt to varying network conditions by choosi...
142
Voted
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
A picture archiving and communications system (PACS) is an integrated workflow system for managing images and related data which is designed to streamline operations throughout th...
120
Voted
GG
2004
Springer
15 years 10 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...