3005 search results - page 434 / 601 » Logical Information Systems: from Taxonomies to Logics |
163
click to vote
IWIA
2005
IEEE
16 years 3 days ago
2005
IEEE
Malware defenses have primarily relied upon intrusion fingerprints to detect suspicious network behavior. While effective for discovering computers that are already compromised,...
210
click to vote
WWW
2004
ACM
15 years 12 months ago
2004
ACM
An increasingly large amount of such applications employ service objects such as Servlets to generate dynamic and personalized content. Existing caching infrastructures are not we...
184
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
307
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
178
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
For most Web-based applications, contents are created dynamically based on the current state of a business, such as product prices and inventory, stored in database systems. These...