Sciweavers

468 search results - page 53 / 94
» Specification of Behaviour in Component Frameworks
Sort
View
ESM
2000
15 years 7 months ago
Wide area network module - for FDT based simulation of multicast communication protocols
The framework of this paper is the design of complex communication protocols by simulation, based on formal description techniques (FDT). We propose a general-purpose scalable mod...
Eugen Borcoci, Stanislaw Budkowski
REFLECTION
2001
Springer
15 years 10 months ago
Performance and Integrity in the OpenORB Reflective Middleware
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
Gordon S. Blair, Geoff Coulson, Michael Clarke, Ni...
ACSAC
2004
IEEE
15 years 10 months ago
Extracting Attack Manifestations to Determine Log Data Requirements for Intrusion Detection
Log data adapted for intrusion detection is a little explored research issue despite its importance for successful and efficient detection of attacks and intrusions. This paper pr...
Emilie Lundin Barse, Erland Jonsson
CSAC
2006
15 years 7 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
CONNECTION
2004
83views more  CONNECTION 2004»
15 years 6 months ago
Toward open-ended evolutionary robotics: evolving elementary robotic units able to self-assemble and self-reproduce
In this paper we discuss the limitations of current evolutionary robotics models and we propose a new framework that might solve some of these problems and lead to an open-ended e...
Raffaele Bianco, Stefano Nolfi