3172 search results - page 600 / 635 » Combining Specification Techniques for Processes, Data and T... |
154
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
As critical records are increasingly stored in electronic form, which tends to make for easy destruction and clandestine modification, it is imperative that they be properly manag...
160
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
Migration to a converged network has caused service providers to deploy real time applications such as voice over an IP (VoIP) network. From the provider's perspective, the s...
153
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
Homomorphic encryption (HE) schemes enable computing functions on encrypted data, by means of a public Eval procedure that can be applied to ciphertexts. But the evaluated ciphert...
170
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...
187
click to vote
IDA
1998
Springer
15 years 5 months ago
1998
Springer
We investigate a form of modular neural network for classification with (a) pre-separated input vectors entering its specialist (expert) networks, (b) specialist networks which ar...