733 search results - page 104 / 147 » Active Automation of the DITSCAP |
119
click to vote
ISPEC
2005
Springer
15 years 10 months ago
2005
Springer
: Threats for today’s production networks range from fully automated worms and viruses to targeted, highly sophisticated multi-phase attacks carried out manually. In order to pro...
138
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
133
click to vote
SACMAT
2004
ACM
15 years 9 months ago
2004
ACM
In the era of Ubiquitous Computing and world–wide data transfer mobility, as an innovative aspect of professional activities, imposes new and complex problems of mobile and dist...
139
click to vote
DEON
2004
Springer
15 years 9 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
135
click to vote
EH
2003
IEEE
15 years 9 months ago
2003
IEEE
In the present paper, single-opamp sinusoidal oscillators are synthesized using genetic algorithms. The motivation is to evolve new topologies of oscillators using different activ...