4693 search results - page 337 / 939 » Verifying Hybrid Systems |
180
click to vote
TWC
2008
15 years 6 months ago
2008
In the first part of the paper, the capacity of a general multiuser code division multiple access (CDMA) jamming channel was analyzed for noncooperative and cooperative users in up...
163
click to vote
CIS
2009
Springer
15 years 10 months ago
2009
Springer
A virus detection system (VDS) based on artificial immune system (AIS) is proposed in this paper. VDS at first generates the detector set from virus files in the dataset, negative ...
211
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
184
click to vote
CAV
2004
Springer
16 years 4 days ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
168
click to vote
LCTRTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...