5423 search results - page 907 / 1085 » Denial-of-service in automation systems |
167
click to vote
TARK
2005
Springer
16 years 1 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
166
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
153
click to vote
ISI
2004
Springer
15 years 12 months ago
2004
Springer
Internet chatrooms are common means of interaction and communications, and they carry valuable information about formal or ad-hoc formation of groups with diverse objectives. This ...
211
click to vote
IWAN
2004
Springer
15 years 12 months 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...
162
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...