738 search results - page 70 / 148 » Object Orientation and Formal Techniques |
177
click to vote
FOIS
2006
15 years 7 months ago
2006
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
181
click to vote
AOSE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
172
click to vote
ISORC
2008
IEEE
16 years 22 days ago
2008
IEEE
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...
145
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
167
click to vote
ECOOP
2011
Springer
14 years 6 months ago
2011
Springer
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...