5284 search results - page 673 / 1057 » Ontologizing Semantic Relations |
166
click to vote
ASIAN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
167
click to vote
DCOSS
2007
Springer
16 years 29 days ago
2007
Springer
With the proliferation of various kinds of sensor networks, we will see large amounts of heterogeneous data. They have different characteristics such as data content, formats, mod...
190
click to vote
EPIA
2007
Springer
16 years 29 days ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
192
click to vote
EDOC
2005
IEEE
16 years 12 days ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
172
click to vote
WCRE
2005
IEEE
16 years 11 days ago
2005
IEEE
Understanding a software system by just analyzing the structure of the system reveals only half of the picture, since the structure tells us only how the code is working but not w...