Sciweavers

684 search results - page 104 / 137
» Model Bus: Towards the Interoperability of Modelling Tools
Sort
View
WSC
2008
13 years 11 months ago
Simulation of the research process
This paper presents first steps towards the development of a formal model of the research process. We evaluate the use of simulation as a tool for the evaluation of research strat...
Muaz Niazi, Amir Hussain, Abdul Rauf Baig, Saeed B...
VVEIS
2007
13 years 10 months ago
UML-driven Information Systems and their Formal Integration Validation and Distribution
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
Nasreddine Aoumeur, Gunter Saake
DAC
2008
ACM
14 years 9 months ago
Automated transistor sizing for FPGA architecture exploration
The creation of an FPGA requires extensive transistor-level design. This is necessary for both the final design, and during architecture exploration, when many different logic and...
Ian Kuon, Jonathan Rose
AR
2006
95views more  AR 2006»
13 years 9 months ago
Adaptive body schema for robotic tool-use
The development and expression of many higher level cognitive functions, such as imitation, spatial perception, and tool-use relies on a multi-modal representation of the body kno...
Cota Nabeshima, Yasuo Kuniyoshi, Max Lungarella
JMLR
2010
185views more  JMLR 2010»
13 years 3 months ago
HMMPayl: an application of HMM to the analysis of the HTTP Payload
Zero-days attacks are one of the most dangerous threats against computer networks. These, by definition, are attacks never seen before. Thus, defense tools based on a database of ...
Davide Ariu, Giorgio Giacinto