Sciweavers

2703 search results - page 22 / 541
» Learning operational requirements from goal models
Sort
View
ICRA
2010
IEEE
125views Robotics» more  ICRA 2010»
15 years 12 days ago
Inferring the semantics of direction signs in public places
Abstract— Most large-scale public environments provide direction signs to facilitate the orientation for humans and to find their way to a goal location in the environment. Thus...
Jérôme Maye, Luciano Spinello, Rudolp...
ICAT
2003
IEEE
15 years 7 months ago
A Formalism and a Tool for Diverging Requirements in VR Scenario Modeling
Any VR scenario should offer a certain degree of nonlinearity or openness regarding the story progress as a consequence of the interaction with the user. In this paper we propose ...
Richard Wages, Benno Grützmacher, Georg Troge...
121
Voted
TIT
2008
187views more  TIT 2008»
15 years 1 months ago
The Bare Bounded-Storage Model: The Tight Bound on the Storage Requirement for Key Agreement
Abstract--In the bounded-storage model (BSM) for information-theoretic secure encryption and key agreement, one makes use of a random string R whose length t is greater than the as...
Stefan Dziembowski, Ueli M. Maurer
AOSE
2001
Springer
15 years 6 months ago
Modeling Early Requirements in Tropos: A Transformation Based Approach
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...
124
Voted
TCS
2011
14 years 8 months ago
Smart PAC-learners
The PAC-learning model is distribution-independent in the sense that the learner must reach a learning goal with a limited number of labeled random examples without any prior know...
Malte Darnstädt, Hans-Ulrich Simon