1393 search results - page 182 / 279 » From Models to Interactive Systems Tool Support and XIML |
156
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
172
click to vote
LWA
2008
15 years 7 months ago
2008
Several applications support the adaptation of course material. Even though most of these systems allow to specify interaction preferences or even employ user modeling techniques,...
156
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Ubiquitous Mobile Systems (UMSs) allow for automated capturing of events. Both mobility and ubiquity are supported by electronic means such as mobile phones and PDAs and ...
132
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
297
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...