2282 search results - page 222 / 457 » Active property checking |
175
Voted
ICITA
2005
IEEE
15 years 11 months ago
2005
IEEE
Intrusion Detection Systems (IDS) have become widely used tools for ensuring system and network security. Among many other challenges, contemporary IDS have to cope with increasin...
128
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
We propose a personal knowledge publishing system called Semblog is realized with integration of Semantic Web techniques and Weblog tools. Semblog suite provides an integrated envi...
144
click to vote
SAIG
2001
Springer
15 years 10 months ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
180
click to vote
AAAI
2006
15 years 7 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
218
Voted
IADIS
2003
15 years 7 months ago
2003
This paper shows a web tool designed to encourage an active reader comprehension. Being a web-technology based system, it allows easy access for a wide number of users around the ...