Sciweavers

2088 search results - page 93 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
IJCAI
1993
15 years 1 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
WWW
2003
ACM
15 years 5 months ago
Conceptual View Integration for Audience Driven Web Design
In an audience driven approach to website design, the requirements of the different audiences are modeled as separated tiny conceptual schemas comparable to views. We present a ne...
Olga De Troyer, Peter Plessers, Sven Casteleyn
JUCS
2008
109views more  JUCS 2008»
14 years 11 months ago
Extending and Supporting Featured User Interface Models for the Development of Groupware Applications
: This paper presents a proposal to tackle the design and development of user interfaces for groupware applications. This proposal includes important design and implementation issu...
Victor M. Ruiz Penichet, María Dolores Loza...
POPL
2012
ACM
13 years 7 months ago
Run your research: on the effectiveness of lightweight mechanization
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
Casey Klein, John Clements, Christos Dimoulas, Car...
ICMCS
1999
IEEE
106views Multimedia» more  ICMCS 1999»
15 years 4 months ago
Integrating Support for Collaboration-Unaware VRML Models into Cooperative Applications
This paper presents design and architecture of the distributed virtual reality service (dvr) which allows collaboration-unaware VRML animations and simulations to be integrated in...
Werner Geyer, Martin Mauve