Sciweavers

4753 search results - page 419 / 951
» Natural Modelling of Interactive Applications
Sort
View
ICFEM
2009
Springer
16 years 25 days ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
UML
1998
Springer
15 years 10 months ago
Supporting and Applying the UML Conceptual Framework
The Unified Modelling Language (UML) ostensibly assumes a four level (meta) modelling framework, both for its definition and for the conceptual context in which its users operate. ...
Colin Atkinson
130
Voted
EPEW
2007
Springer
16 years 13 days ago
Resource Sharing in Performance Models
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...
Vlastimil Babka, Martin Decký, Petr Tuma
IUI
2006
ACM
16 years 7 days ago
Eye-tracking to model and adapt to user meta-cognition in intelligent learning environments
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
Christina Merten, Cristina Conati
CBSE
2005
Springer
15 years 11 months ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He