2071 search results - page 340 / 415 » An Empirical Evaluation of LFG-DOP |
ICMCS
2009
IEEE
14 years 8 months ago
2009
IEEE
IP networks allow constructing versatile device configurations for multimedia streaming. However, the stochastic nature of the packet-switched data transmission may complicate IP-...
124
click to vote
ICST
2009
IEEE
14 years 8 months ago
2009
IEEE
Penetration testing is widely used to help ensure the security of web applications. It discovers vulnerabilities by simulating attacks from malicious users on a target application...
AMAI
2010
Springer
14 years 8 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
We present an architecture of a hosting system consisting of a set of hosted Web Services subject to QoS constraints, and a certain number of servers used to run users demand. The ...
IAT
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--Collaborating agents require either prior agreement on the shared vocabularies that they use for communication, or some means of translating between their private ontolog...