Sciweavers

3342 search results - page 146 / 669
» Automating Abstract Interpretation
Sort
View
GI
2008
Springer
15 years 9 days ago
Towards an automated detection of self-organizing behavior
Abstract: In this paper we present an entropy based method to analyze complex systems. Systems are treated as black boxes, which only expose information by some specified paramete...
Wolfgang Trumler, Mike Gerdes
IWPC
2010
IEEE
14 years 9 months ago
On the Equivalence of Information Retrieval Methods for Automated Traceability Link Recovery
Abstract—We present an empirical study to statistically analyze the equivalence of several traceability recovery methods based on Information Retrieval (IR) techniques. The analy...
Rocco Oliveto, Malcom Gethers, Denys Poshyvanyk, A...
WOA
2010
14 years 9 months ago
DomoBuilder: A MultiAgent Architecture for Home Automation
Current technologies permit people to make use of various systems able to fulfill most of their needs while being at home. However, their use is often not intuitive and they are al...
Andrea Addis, Giuliano Armano
JIKM
2011
101views more  JIKM 2011»
14 years 2 months ago
Automated Generation of Personal Data Reports from Relational Databases
Abstract. This paper presents a novel approach for extracting personal data and automatically generating Personal Data Reports (PDRs) from relational databases. Such PDRs can be us...
Georgios John Fakas, Ben Cawley, Zhi Cai
TCAD
2008
183views more  TCAD 2008»
14 years 11 months ago
Systematic and Automated Multiprocessor System Design, Programming, and Implementation
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
Hristo Nikolov, Todor Stefanov, Ed F. Deprettere