5451 search results - page 513 / 1091 » Typed Operational Semantics |
166
click to vote
SEMWEB
2005
Springer
16 years 9 days ago
2005
Springer
This application demonstrates how to provide personalized, syndicated views on distributed web data using Semantic Web technologies. The application comprises four steps: The infor...
172
click to vote
AMAI
2004
Springer
16 years 7 days ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
174
Voted
AOSE
2004
Springer
16 years 7 days ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
196
click to vote
FMCO
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
215
click to vote
EUROPAR
2003
Springer
16 years 1 days ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...