Sciweavers

1792 search results - page 81 / 359
» e-Participation and Decision Analysis
Sort
View
SP
2006
IEEE
104views Security Privacy» more  SP 2006»
16 years 12 days ago
A Logic for Constraint-based Security Protocol Analysis
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
Ricardo Corin, Sandro Etalle, Ari Saptawijaya
HICSS
2003
IEEE
137views Biometrics» more  HICSS 2003»
15 years 11 months ago
Adjusting Safety Stock Requirements with an AHP-Based Risk Analysis
In most cases safety stock is determined based on the variability of the demand and lead time. The focus has been on the statistics and past performance, and the existing framewor...
Jukka Korpela, Antti Lehmusvaara, Kalevi Kylä...
CCGRID
2006
IEEE
16 years 14 days ago
Analysis of Query Matching Criteria and Resource Monitoring Models for Grid Application Scheduling
Making effective use of computational Grids requires scheduling Grid applications onto resources that best match them. Resource-related state (e.g., load, availability, and locati...
Ronak Desai, Sameer Tilak, Bhavin Gandhi, Michael ...
ECTEL
2006
Springer
15 years 10 months ago
A Technology Enhanced Learning Case from Birth to Deployment: Critical Analysis of the ALaRI Intranet Platform
This paper aims at illustrating the necessities that led to the decision of building a technological learning platform for the ALaRI (Advanced Learning and Research Institute) acad...
Carola Salvioni
DOCENG
2006
ACM
16 years 11 days ago
Comparing XML path expressions
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
Pierre Genevès, Nabil Layaïda