Sciweavers

1349 search results - page 96 / 270
» Towards a theory of events
Sort
View
FROCOS
2007
Springer
15 years 7 months ago
Towards an Automatic Analysis of Web Service Security
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
GECCO
2005
Springer
142views Optimization» more  GECCO 2005»
15 years 6 months ago
Toward evolved flight
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
Rusty Hunt, Gregory Hornby, Jason D. Lohn
SAC
2004
ACM
15 years 6 months ago
Towards multisensor data fusion for DoS detection
In our present work we introduce the use of data fusion in the field of DoS anomaly detection. We present DempsterShafer’s Theory of Evidence (D-S) as the mathematical foundati...
Christos Siaterlis, Basil S. Maglaris
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 5 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
ICIS
1998
15 years 2 months ago
Toward a contingency view of infrastructure and knowledge: an exploratory study
IT infrastructures coupled with BPR initiatives have the potential of supporting and enabling new organizational forms and helping firms face the challenges of globalization. The ...
Claudio U. Ciborra, Ole Hanseth