Sciweavers

1244 search results - page 115 / 249
» The many faces of interpolation
Sort
View
VL
2007
IEEE
108views Visual Languages» more  VL 2007»
16 years 18 days ago
A PROLOG-based Approach to Representing and Querying Software Engineering Models
Striving toward the vision of Model Driven development (MDD), we face many open questions connected to the elementary tasks involved in working with models. Probably the most basi...
Harald Störrle
ATVA
2007
Springer
101views Hardware» more  ATVA 2007»
16 years 15 days ago
A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
Sophie Pinchinat
EUROITV
2007
Springer
16 years 15 days ago
Psychological Backgrounds for Inducing Cooperation in Peer-to-Peer Television
Television and the Internet have proven to be a popular combination for both broadcasters and viewers. Because of this popularity they are increasingly facing the consequences of c...
Jenneke Fokker, Huib de Ridder, Piet Westendorp, J...
FINANCECOM
2007
Springer
209views Finance» more  FINANCECOM 2007»
16 years 15 days ago
Information Risk in Financial Institutions: Field Study and Research Roadmap
Abstract. Large financial firms with thousands of employees face many challenges ensuring workers have access to the right information, yet controlling access to unneeded data. We ...
Sara Sinclair, Sean W. Smith, Stephanie Trudeau, M...
IVA
2007
Springer
16 years 14 days ago
The Behavior Markup Language: Recent Developments and Challenges
Since the beginning of the SAIBA effort to unify key interfaces in the multi-modal behavior generation process, the Behavior Markup Language (BML) has both gained ground as an impo...
Hannes Högni Vilhjálmsson, Nathan Cant...