Sciweavers

8 search results - page 1 / 2
» Merging DEL and ETL
Sort
View
JOLLI
2010
118views more  JOLLI 2010»
13 years 3 months ago
Merging DEL and ETL
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...
Tomohiro Hoshi
TARK
2007
Springer
13 years 10 months ago
Merging frameworks for interaction: DEL and ETL
Johan van Benthem, Jelle Gerbrandy, Eric Pacuit
ECMDAFA
2006
Springer
137views Hardware» more  ECMDAFA 2006»
13 years 8 months ago
A Canonical Scheme for Model Composition
There is little agreement on terminology in model composition, and even less on key characteristics of a model composition solution. We present three composition frameworks: the At...
Jean Bézivin, Salim Bouzitouna, Marcos Dido...
DATE
2008
IEEE
116views Hardware» more  DATE 2008»
13 years 11 months ago
A Virtual Prototype for Bluetooth over Ultra Wide Band System Level Design
The industry is merging two different Wireless Personal Area Networks (WPAN) technologies: Bluetooth (BT) and WiMedia Ultra Wide Band (UWB), into a single BT over UWB (BToUWB) spe...
Alexandre Lewicki, Javier del Prado Pavon, Jacky T...
BTW
2009
Springer
138views Database» more  BTW 2009»
13 years 11 months ago
GEM: A Generic Visualization and Editing Facility for Heterogeneous Metadata
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...
Jürgen Göres, Thomas Jörg, Boris St...