Sciweavers

309 search results - page 38 / 62
» UnSCom: A Standardized Framework for the Specification of So...
Sort
View
DOCENG
2010
ACM
13 years 9 months ago
Linking data and presentations: from mapping to active transformations
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
Olivier Beaudoux, Arnaud Blouin
FM
2006
Springer
113views Formal Methods» more  FM 2006»
14 years 4 days ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
WWW
2007
ACM
14 years 9 months ago
Extensible schema documentation with XSLT 2.0
XML Schema documents are defined using an XML syntax, which means that the idea of generating schema documentation through standard XML technologies is intriguing. We present X2Do...
Felix Michel, Erik Wilde
WOWMOM
2005
ACM
83views Multimedia» more  WOWMOM 2005»
14 years 2 months ago
Java-Based Proactive Buffering for Multimedia Streaming Continuity in the Wireless Internet
New challenging deployment scenarios are accommodating portable devices with limited and heterogeneous capabilities that roam among wireless access localities during service provi...
Paolo Bellavista, Antonio Corradi, Luca Foschini
SIGSOFT
2002
ACM
14 years 9 months ago
Composable semantics for model-based notations
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
Jianwei Niu, Joanne M. Atlee, Nancy A. Day