44 search results - page 7 / 9 » The Mathematical Model of Subtractive Hybridization and Its ... |
FAC
2008
13 years 7 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
ENGL
2008
13 years 7 months ago
2008
Deposition of dispersed and ultradispersed solid particles in cylindrical channels has received considerable attention due to its practical significance and direct application in i...
TMC
2011
13 years 2 months ago
2011
Abstract—Recently, many efforts have been made to develop more efficient Inter-Vehicle Communication (IVC) protocols for ondemand route planning according to observed traffic con...
STORAGESS
2005
ACM
14 years 1 months ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...
PADL
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...