5326 search results - page 254 / 1066 » On what we can ensure |
184
click to vote
OTM
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we want to show which difficulties arise when automatically constructing a domain-independent knowledge base from the web. We show possible applications for such a k...
160
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
150
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Digital signature schemes are based on the assumption that the signing key is kept in secret. Ensuring that this assumption holds is one of the most crucial problems for all curre...
182
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Vision feedback control loop techniques are efficient for a great class of applications but they come up against difficulties when the initial and desired positions of the camer...
216
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...