4276 search results - page 284 / 856 » Techniques for Empirical Validation |
156
click to vote
ICSEA
2006
IEEE
16 years 22 days ago
2006
IEEE
—The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be ...
174
click to vote
CSFW
2005
IEEE
16 years 10 days ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
189
Voted
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
In this research project, an integration of multi-agent technology and optimization techniques is suggested for the combined production and transport planning problem in a transpo...
171
click to vote
XSYM
2005
Springer
16 years 5 days ago
2005
Springer
XQuery is a feature-rich language with complex semantics. This makes it hard to come up with a benchmark suite which covers all performance-critical features of the language, and a...
160
click to vote
ICFEM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...