Sciweavers

468 search results - page 53 / 94
» Specification of Behaviour in Component Frameworks
Sort
View
ESM
2000
15 years 1 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 4 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 3 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 1 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»
14 years 11 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