Sciweavers

1356 search results - page 9 / 272
» A variable-free dynamic semantics
Sort
View
EPIA
2005
Springer
14 years 3 months ago
Operational Semantics for DyLPs
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
Federico Banti, José Júlio Alferes, ...
LOGCOM
2000
69views more  LOGCOM 2000»
13 years 9 months ago
Object calculi in linear logic
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object...
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori,...
FMOODS
2007
13 years 11 months ago
Analysis of UML Activities Using Dynamic Meta Modeling
Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly...
Gregor Engels, Christian Soltenborn, Heike Wehrhei...
TAAS
2010
124views more  TAAS 2010»
13 years 4 months ago
The MACODO organization model for context-driven dynamic agent organizations
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
Danny Weyns, Robrecht Haesevoets, Alexander Helleb...
WWW
2010
ACM
13 years 8 months ago
Building a Usable and Accessible Semantic Web Interaction Platform
Semantic Web applications take off is being slower than expected, at least with respect to “real-world” applications and users. One of the main reasons for this lack of adoptio...
Roberto García, Juan Manuel Gimeno, Ferran ...