1264 search results - page 122 / 253 » Designing Safe, Reliable Systems using Scade |
138
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
113
click to vote
NSDI
2010
15 years 5 months ago
2010
We present the design and implementation of a novel anti-malware system called SplitScreen. SplitScreen performs an additional screening step prior to the signature matching phase...
141
click to vote
WOTUG
2007
15 years 5 months ago
2007
This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances made by Quickstone’s JCSP Network Edition and the â...
126
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
150
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
The paper presents an efficient and reliable approach to automatic people segmentation, tracking and counting, designed for a system with an overhead mounted (zenithal) camera. Up...