13489 search results - page 529 / 2698 » Operating System |
179
click to vote
JCS
2010
15 years 5 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
157
click to vote
ISDA
2005
IEEE
16 years 17 days ago
2005
IEEE
Genetic Algorithms (GAs) are very popular optimization tool, although efficient applications of GAs requires users have problem with setting their parameters and used genetic ope...
197
click to vote
SRDS
2007
IEEE
16 years 1 months ago
2007
IEEE
A cooperative structured peer-to-peer file-sharing system requires that the nodes participating in the system need to maintain the location mappings of other nodes. However, the s...
183
click to vote
EKAW
2000
Springer
15 years 10 months ago
2000
Springer
Although the necessity of an ontology and ontological engineering is well-understood, there has been few success stories about ontology construction and its deployment to date. Thi...
222
click to vote
RTAS
2006
IEEE
16 years 29 days ago
2006
IEEE
Operating systems for reconfigurable devices enable the development of embedded systems where software tasks, running on a CPU, can coexist with hardware tasks running on a recon...