Sciweavers

9503 search results - page 1599 / 1901
» Authenticated System Calls
Sort
View
ENTCS
2006
174views more  ENTCS 2006»
15 years 6 months ago
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
Jörn Ossowski, Christel Baier
ENTCS
2006
80views more  ENTCS 2006»
15 years 6 months ago
Synchronisation in Trust Management Using Push Authorisation
Traditional trust management authorisation decisions for distributed technologies, are, in general, based on the history of the authorisations/computation to date. We consider thi...
Thomas B. Quillinan, Simon N. Foley
EOR
2006
88views more  EOR 2006»
15 years 6 months ago
Nonessential objectives within network approaches for MCDM
In Gal and Hanne [Eur. J. Oper. Res. 119 (1999) 373] the problem of using several methods to solve a multiple criteria decision making (MCDM) problem with linear objective functio...
Tomas Gal, Thomas Hanne
IJCV
2008
188views more  IJCV 2008»
15 years 6 months ago
Partial Linear Gaussian Models for Tracking in Image Sequences Using Sequential Monte Carlo Methods
The recent development of Sequential Monte Carlo methods (also called particle filters) has enabled the definition of efficient algorithms for tracking applications in image sequen...
Elise Arnaud, Étienne Mémin
IJMMS
2008
119views more  IJMMS 2008»
15 years 6 months ago
Collaboration and co-ordination in mature eXtreme programming teams
Mature eXtreme programming (XP) teams are highly collaborative and self-organising. In previous studies, we have observed that these teams rely on two apparently simple mechanisms...
Helen Sharp, Hugh Robinson
« Prev « First page 1599 / 1901 Last » Next »