Sciweavers

16218 search results - page 155 / 3244
» Standards
Sort
View
FOSSACS
2006
Springer
15 years 8 months ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...
APSEC
2001
IEEE
15 years 8 months ago
Tailoring and Verifying Software Process
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
Il-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae
ICSE
2000
IEEE-ACM
15 years 8 months ago
Software engineering and the Internet: a roadmap
We argue that a roadmap for software engineering and the Internet currently should be based on standards for complex data and document structures, like the Extensible Markup Langu...
Luca Bompani, Paolo Ciancarini, Fabio Vitali
WSC
2008
15 years 6 months ago
Comparison of bayesian priors for highly reliable limit models
Limit standards are probability interval requirements for proportions. Simulation literature has focused on finding the confidence interval of the population proportion, which is ...
Roy R. Creasey Jr., K. Preston White, Linda B. Wri...
IPCO
2008
105views Optimization» more  IPCO 2008»
15 years 5 months ago
Can Pure Cutting Plane Algorithms Work?
We discuss an implementation of the lexicographic version of Gomory's fractional cutting plane method and of two heuristics mimicking the latter. In computational testing on a...
Arrigo Zanette, Matteo Fischetti, Egon Balas