3555 search results - page 161 / 711 » Security-Critical System Development with Extended Use Cases |
143
click to vote
EUROSYS
2006
ACM
16 years 27 days ago
2006
ACM
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...
150
click to vote
RSP
2005
IEEE
15 years 9 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
157
click to vote
FSS
2006
15 years 3 months ago
2006
In this paper, a Sequential Adaptive Fuzzy Inference System called SAFIS is developed based on the functional equivalence between a radial basis function network and a fuzzy infer...
161
click to vote
JITECH
2007
15 years 3 months ago
2007
This case study discusses two related aspects that are becoming increasingly important in today’s software development practice: re-engineering of a monolithic system into a com...
158
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract—In this contribution, the performance of a multiuser system is analyzed in the context of frequency selective fading channels. Using game theoretic tools, a useful frame...