Sciweavers

6474 search results - page 974 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
200
Voted
PPPJ
2006
ACM
16 years 1 months ago
Dynamic analysis of program concepts in Java
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
Jeremy Singer, Chris C. Kirkham
162
Voted
COMPSAC
2005
IEEE
16 years 1 months ago
Buffer Overrun Prevention Through Component Composition Analysis
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
David Llewellyn-Jones, Madjid Merabti, Qi Shi, Bob...
201
Voted
IAT
2005
IEEE
16 years 1 months ago
An Internal Agent Architecture Incorporating Standard Reasoning Components and Standards-based Agent Communication
This paper discusses a general architecture for intelligent software agents. It can be used to construct agents that engage in high-level reasoning by employing standard reasoning...
Mengqiu Wang, Martin K. Purvis, Mariusz Nowostawsk...
197
Voted
SEFM
2005
IEEE
16 years 1 months ago
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
Samuel Colin, Dorian Petit, Vincent Poirriez, J&ea...
EUSAI
2004
Springer
16 years 27 days ago
Using Cooperative Artefacts as Basis for Activity Recognition
Ambient intelligent applications require applications to recognise user activity calmly in the background, typically by instrumentation of environments. In contrast, we propose the...
Martin Strohbach, Gerd Kortuem, Hans-Werner Geller...