809 search results - page 50 / 162 » Formal Semantics for the Java Modeling Language |
112
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
111
click to vote
FAC
2002
15 years 2 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
162
Voted
ICCS
1999
Springer
15 years 6 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
141
click to vote
COLING
1990
15 years 3 months ago
1990
One of the issues of Artificial Intelligence is the transfer of the knowledge conveyed by Natural Language into formalisms that a computer can interpret. In the Natural Language P...
159
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...