1760 search results - page 251 / 352 » Program Analysis Using Weighted Pushdown Systems |
121
click to vote
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
Eudaemon is a technique that aims to blur the borders between protected and unprotected applications, and brings together honeypot technology and end-user intrusion detection and ...
129
click to vote
IWIA
2005
IEEE
15 years 7 months ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
139
click to vote
ENTCS
2006
15 years 2 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
124
click to vote
WSC
2000
15 years 3 months ago
2000
Discrete event simulation can be used for virtual prototyping of new manufacturing facilities. Models built for this purpose must be easy to use, flexible, and provide a realistic...
130
click to vote
IWSM
2000
Springer
15 years 5 months ago
2000
Springer
: In this article we present a method for estimating the effort of software projects following an evolutionary, object-oriented development paradigm. Effort calculation is based on...