5900 search results - page 182 / 1180 » Dependable Systems |
151
click to vote
WIKIS
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents a new Wiki called SAVVY Wiki that realizes context-oriented, collective and collaborative knowledge management environments that are able to reflect users’ i...
164
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
118
click to vote
ICWSM
2010
15 years 6 months ago
2010
Social media sites derive their value by providing a popular and dependable community for participants to engage, share, and interact. This community value and related services li...
137
click to vote
IANDC
2007
15 years 5 months ago
2007
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
155
click to vote
IWIA
2005
IEEE
15 years 10 months ago
2005
IEEE
Intrusion detection systems alert the system administrators of intrusions but, in most cases, do not provide details about which system events are relevant to the intrusion and ho...