Sciweavers

16606 search results - page 441 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
LICS
1989
IEEE
15 years 11 months ago
Faithful Ideal Models for Recursive Polymorphic Types
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...
Martín Abadi, Benjamin C. Pierce, Gordon D....
EGITALY
2006
15 years 8 months ago
An Architecture for Distributed Behavioral Models with GPUs
We describe an architecture for massive simulation of a distributed behavioral model using graphics hardware. By leveraging on the recent programmable capabilities of GPUs we impl...
Rosario De Chiara, Ugo Erra, Vittorio Scarano
ISCC
2008
IEEE
185views Communications» more  ISCC 2008»
16 years 1 months ago
Towards business model and technical platform for the service oriented context-aware mobile virtual communities
: Owing to the recent technical advances in the computing and mobile communications domain, the world of online virtual communities is experiencing a phenomenal growth and ever-inc...
Pravin Pawar, Julien Subercaze, Pierre Maret, Bert...
CSMR
2006
IEEE
16 years 26 days ago
A Framework for Software Architecture Refactoring using Model Transformations and Semantic Annotations
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
Igor Ivkovic, Kostas Kontogiannis
ICWE
2005
Springer
16 years 9 days ago
A Model-Driven Approach for Designing Distributed Web Information Systems
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
Richard Vdovjak, Geert-Jan Houben