1486 search results - page 215 / 298 » A Logically Saturated Extension of |
177
click to vote
IEEESCC
2008
IEEE
16 years 23 days ago
2008
IEEE
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...
215
click to vote
ACSAC
2007
IEEE
16 years 21 days ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
153
click to vote
APN
2007
Springer
16 years 16 days ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
160
click to vote
ICWE
2007
Springer
16 years 15 days ago
2007
Springer
This paper presents AWAC, a prototype CAWE tool for the automatic generation of adaptive Web applications based on the A-OOH methodology. A-OOH (Adaptive OO-H) is an extension of t...
156
click to vote
IFSA
2007
Springer
16 years 15 days ago
2007
Springer
One of the important components of granular computing is interval computations. In interval computations, at each intermediate stage of the computation, we have intervals of possi...