Sciweavers

11097 search results - page 384 / 2220
» Hera presentation generator
Sort
View
FM
2006
Springer
111views Formal Methods» more  FM 2006»
15 years 10 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack
IWMM
2000
Springer
94views Hardware» more  IWMM 2000»
15 years 10 months ago
Dynamic Adaptive Pre-Tenuring
In a generational garbage collector, a pre-tenured object is one that is allocated directly in the old generation. Pretenuring long-lived objects reduces the number of times that ...
Timothy L. Harris
CEC
2010
IEEE
15 years 7 months ago
Grammatical rules for the automated construction of heuristics
— Developing a problem-domain independent methodology to automatically generate high performing solving strategies for specific problems is one of the challenging trends on hype...
Germán Terrazas, Natalio Krasnogor
COMCOM
2007
98views more  COMCOM 2007»
15 years 6 months ago
Anomaly detection in TCP/IP networks using immune systems paradigm
The paper presents an architecture of an anomaly detection system based on the paradigm of artificial immune systems (AISs). Incoming network traffic data are considered by the s...
Franciszek Seredynski, Pascal Bouvry
COMSIS
2004
119views more  COMSIS 2004»
15 years 6 months ago
A Method and a Tool for Rapid Prototyping of Large-Scale Business Information Systems
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...
Gordana Milosavljevic, Branko Perisic