5353 search results - page 703 / 1071 » Modelling Contexts in the Or-BAC Model |
203
click to vote
COCOON
2005
Springer
16 years 1 months ago
2005
Springer
We consider the problem of scheduling on-line a sequence of degradable intervals in a set of k identical machines. Our objective is to find a schedule that maximizes simultaneousl...
240
click to vote
MOBICOM
2004
ACM
16 years 1 months ago
2004
ACM
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...
231
click to vote
MPC
2010
Springer
16 years 11 days ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
197
click to vote
CIKM
2000
Springer
15 years 12 months ago
2000
Springer
Large collections of documents containing various types of multimedia, are made available to the WWW. Unfortunately, due to the un-structuredness of Internet environments it is ha...
228
click to vote
HICSS
1999
IEEE
15 years 12 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...