1961 search results - page 122 / 393 » PicoDBMS: Validation and Experience |
123
click to vote
TACAS
1997
Springer
15 years 3 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
- A noble model-based programming environment of embedded software for MPSoC is proposed. By defining a common intermediate code (CIC), it separates modeling of the software and im...
ICDAR
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper, we evaluate the performance on Arabic handwriting of the text-independent writer identification methods that we developed and tested on Western script in recent yea...
ACSAC
2001
IEEE
15 years 2 months ago
2001
IEEE
It is a well-known problem that intrusion detection systems overload their human operators by triggering thousands of alarms per day. As a matter of fact, we have been asked by on...
101
click to vote
GECCO
2000
Springer
15 years 2 months ago
2000
Springer
This paper presents the emergence of the cooperative behavior for multiple agents by means of Genetic Programming (GP). For the purpose of evolving the effective cooperative behav...