9626 search results - page 1835 / 1926 » Invariant Based Programming |
RTA
2007
Springer
15 years 6 months ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
114
click to vote
UM
2007
Springer
15 years 6 months ago
2007
Springer
A standing question in the field of Intelligent Tutoring Systems and User Modeling in general is what is the appropriate level of model granularity (how many skills to model) and h...
117
click to vote
VIZSEC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract Attack graphs for large enterprise networks improve security by revealing critical paths used by adversaries to capture network assets. Even with simplification, current a...