2020 search results - page 52 / 404 » Modeling Probe-Agent Distributed System by Goal-oriented App... |
129
click to vote
LCTRTS
1999
Springer
15 years 6 months ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
122
click to vote
ENTCS
2007
15 years 2 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
121
click to vote
ICAPR
2005
Springer
15 years 8 months ago
2005
Springer
In this paper an intrusion detection algorithm based on GP ensembles is proposed. The algorithm runs on a distributed hybrid multiisland model-based environment to monitor security...
104
click to vote
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
123
click to vote
AAAI
2012
13 years 4 months ago
2012
Event extraction systems typically locate the role fillers for an event by analyzing sentences in isolation and identifying each role filler independently of the others. We argu...