2200 search results - page 272 / 440 » Hop Integrity in Computer Networks |
124
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
219
Voted
NFM
2011
14 years 10 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
123
Voted
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Secure, distributed collaboration between different organizations is a key challenge in Grid computing today. The GDCD project has produced a Grid-based demonstrator Virtual Colla...
102
Voted
WMTE
2002
IEEE
15 years 8 months ago
2002
IEEE
Handheld computers will become an increasingly compelling choice of technology for K-12 classrooms because they will enable a transition from occasional, supplemental use to frequ...
135
Voted
FCCM
2004
IEEE
15 years 7 months ago
2004
IEEE
Intrusion detection for network security is a computation intensive application demanding high system performance. System level design, a relatively unexplored field in this area,...