Sciweavers

6171 search results - page 590 / 1235
» The FrameNet Data and Software
Sort
View
WCRE
2006
IEEE
16 years 1 months ago
Monitoring Requirements Coverage using Reconstructed Views: An Industrial Case Study
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
Marco Lormans, Hans-Gerhard Groß, Arie van D...
IUI
2006
ACM
16 years 1 months ago
Inducing shortcuts on a mobile phone interface
Due to size restrictions, mobile phone user interfaces are often difficult to use[8]. In this short paper, we investigated inducing shortcuts to replace the sequence of actions re...
Robert Bridle, Eric McCreath
IUI
2006
ACM
16 years 1 months 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
ANSS
2005
IEEE
16 years 20 days ago
GIPSE: Streamlining the Management of Simulation on the Grid
Although the grid allows the researcher to tap a vast amount of resources, the complexity involved in utilizing this power can make it unwieldy and time-consuming. The Grid Interf...
Justin M. Wozniak, Aaron Striegel, David Salyers, ...
APSEC
2005
IEEE
16 years 20 days ago
A Temporal Logic for Input Output Symbolic Transition Systems
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
Marc Aiguier, Pascale Le Gall, Delphine Longuet, A...