Sciweavers

5101 search results - page 15 / 1021
» Capturing Context Requirements
Sort
View
MM
2004
ACM
133views Multimedia» more  MM 2004»
14 years 1 months ago
From context to content: leveraging context to infer media metadata
The recent popularity of mobile camera phones allows for new opportunities to gather important metadata at the point of capture. This paper describes a method for generating metad...
Marc Davis, Simon King, Nathan Good, Risto Sarvas
ZUM
2005
Springer
134views Formal Methods» more  ZUM 2005»
14 years 1 months ago
Requirements as Conjectures: Intuitive DVD Menu Navigation
In this paper we use Z to capture the requirements for an ‘intuitive’ menu navigation system as a series of conjectures that should hold. We use those requirements to investiga...
Jemima Rossmorris, Susan Stepney
ECTEL
2007
Springer
14 years 1 months ago
A Methodological Proposal to Analyse Interactions in Online Collaborative Learning Environments
Interaction analysis within online educational contexts based on collaborative learning strategies requires a multidimensional model taking into account social, emotional and cogni...
Manuela Repetto
MODELS
2009
Springer
14 years 8 days ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...
SCS
2003
13 years 9 months ago
Safety Assurance Contracts for Integrated Modular Avionics
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
Philippa Conmy, Mark Nicholson, John A. McDermid