809 search results - page 65 / 162 » Formal Semantics for the Java Modeling Language |
111
Voted
BALT
2006
15 years 6 months ago
2006
In philosophy, the term ontology has been used since the 17th century to refer both to a philosophical discipline (Ontology with a capital "O"), and as a domain-independe...
113
click to vote
TNN
1998
15 years 2 months ago
1998
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
123
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Object-oriented languages define the identity of an object to be an address-based object identifier. The programmer may customize the notion of object identity by overriding the ...
127
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...