1336 search results - page 222 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
166
Voted
WCRE
1999
IEEE
15 years 7 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
121
Voted
SIMUTOOLS
2008
15 years 4 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
131
click to vote
IEEESCC
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
142
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
The objective of this paper is to suggest a systematic means by which the timing and focus of information technology policies can be used to optimize supply chain performance and ...
135
click to vote
JMLR
2012
13 years 5 months ago
2012
We consider a model for which it is important, early in processing, to estimate some variables with high precision, but perhaps at relatively low recall. If some variables can be ...