9145 search results - page 1475 / 1829 » Description Logic Systems |
207
click to vote
CAISE
2004
Springer
16 years 6 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 ...
169
click to vote
CCS
2004
ACM
16 years 6 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
172
Voted
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...
175
click to vote
ISCIS
2004
Springer
16 years 5 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
223
click to vote
IWAN
2004
Springer
16 years 5 days ago
2004
Springer
The proliferation of computer viruses and Internet worms has had a major impact on the Internet Community. Cleanup and control of malicious software (malware) has become a key prob...