5284 search results - page 1003 / 1057 » Ontologizing Semantic Relations |
112
click to vote
JLP
2008
15 years 16 days ago
2008
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
105
Voted
DEDS
2007
15 years 16 days ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
115
click to vote
DKE
2007
15 years 16 days ago
2007
Finding interaction patterns is a challenging problem, but this kind of information about processes or social networks might be useful for an organization’s management to unders...
96
Voted
JETAI
2006
15 years 16 days ago
2006
hin an abstract microworld of analogy problems. This approach differs from most other models of analogy in its insistence that concepts acquire their semantics from within the syst...
99
Voted
JLP
2006
15 years 16 days ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...