173 search results - page 18 / 35 » Situation Semantics And Machine Translation |
BIRTHDAY
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
AOSD
2007
ACM
14 years 13 days ago
2007
ACM
The primary implementations of AspectJ to date are based on a compile- or load-time weaving process that produces Java byte code. Although this implementation strategy has been cr...
ACL
1989
13 years 9 months ago
1989
We propose a model for transfer in machine translation which uses a rewriting system for typed feature structures. The grammar definitions describe transfer relations which are ap...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
We envisage pervasive computing applications to be predominantly engaged in knowledge-based interactions, where services and information will be found and exchanged based on some ...