1888 search results - page 35 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
135
click to vote
JSS
2006
15 years 2 months ago
2006
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...
118
click to vote
CONCURRENCY
2008
15 years 2 months ago
2008
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...
120
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
119
Voted
SBCCI
2004
ACM
15 years 8 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
158
Voted
AOSD
2009
ACM
15 years 6 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...