4752 search results - page 423 / 951 » Dependability in Web Software |
186
click to vote
IDEAL
2009
Springer
15 years 11 months ago
2009
Springer
With the rapid and dramatic increase in web feeds published by different publishers, providers or websites via Really Simple Syndication (RSS) and Atom, users cannot be expected t...
298
click to vote
JUCS
2006
15 years 6 months ago
2006
: Everyone realizes how powerful the few big Web search engine companies have become, both in terms of financial resources due to soaring stock quotes and in terms of the still hid...
199
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
Despite significant advancement in ontology learning, building ontologies remains a task that highly depends on human intelligence, both as a source of domain expertise and for pro...
181
click to vote
FOSSACS
2003
Springer
16 years 15 hour ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
212
Voted
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...