6608 search results - page 926 / 1322 » On the Completeness of Model Checking |
210
click to vote
ASIACRYPT
2005
Springer
16 years 12 days ago
2005
Springer
In this paper, we discuss non-interactive updating of decryption keys in identity-based encryption (IBE). IBE is a public key cryptosystem where a public key is an arbitrary strin...
170
click to vote
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to auto...
162
click to vote
RAID
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. It is commonly accepted that intrusion detection systems (IDS) are required to compensate for the insufficient security mechanisms that are available on computer systems...
207
click to vote
CAISE
2004
Springer
16 years 7 days ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
187
click to vote
ICWE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...