2209 search results - page 394 / 442 » Language Based Secure Communication |
126
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
114
click to vote
MMS
2006
15 years 1 months ago
2006
: This paper presents a generic agent-based framework for social-mobile applications, which has been developed as part of an ongoing linkage project. The MobiSoft project is driven...
127
click to vote
DMSN
2004
ACM
15 years 7 months ago
2004
ACM
Recent years have witnessed a rapidly growing interest in query processing in sensor and actuator networks. This is mainly due to the increased awareness of query processing as th...
108
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
103
click to vote
DRM
2003
Springer
15 years 7 months ago
2003
Springer
Protection of copyrights and revenues of content owners in the digital world has been gaining importance in the recent years. This paper presents a way of fingerprinting text docu...