2887 search results - page 524 / 578 » Name Generation and Linearity |
161
click to vote
JCDL
2010
ACM
15 years 9 months ago
2010
ACM
In recent years, the vast amount of digitally available content has lead to the creation of many topic-centered digital libraries. Also in the domain of chemistry more and more di...
175
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
129
click to vote
ECBS
2002
IEEE
15 years 9 months ago
2002
IEEE
Network security has now become one of the most important aspects in computer systems and the Internet. Apart from strong encryption, there is no definite method of truly securing...
129
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Lithium-ion batteries are the core of new plug-in hybrid-electrical vehicles (PHEV) as well as considered in many 2nd generation hybrid electric vehicles (HEV). In most cases t...
144
click to vote
IWLCS
2001
Springer
15 years 8 months ago
2001
Springer
In previous papers we have described the basic elements for building an economic model consisting of a group of artificial traders functioning and adapting in an environment conta...