12334 search results - page 191 / 2467 » The Use of C |
138
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Researchers have previously looked into the problem of determining if a given set of security hardening measures can effectively make a networked system secure. Many of them also...
137
click to vote
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
Field biologists use animal sounds to discover the presence of individuals and to study their behavior. The recent development of new deployable acoustic sensor platforms presents...
174
click to vote
TACAS
2012
Springer
14 years 6 days ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
132
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
149
click to vote
TOOLS
1998
IEEE
15 years 9 months ago
1998
IEEE
We have implemented a prototype distributed system for managing and accessing a digital library of geospatial imagery over a wide-area network. The system conforms to a subset of ...