Sciweavers

7475 search results - page 1120 / 1495
» Supporting use case based requirements engineering
Sort
View
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 6 months ago
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
Omar I. Al-Bataineh, Ron van der Meyden
JOT
2006
111views more  JOT 2006»
15 years 6 months ago
A Cohesion Measure for Aspects
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
Jean-François Gélinas, Mourad Badri,...
IROS
2008
IEEE
95views Robotics» more  IROS 2008»
16 years 1 months ago
Energy management for indoor hovering robots
— Flying has an advantage when compared to ground based locomotion, as it simplifies the task of overcoming obstacles and allows for rapid coverage of an area while also providi...
James F. Roberts, Jean-Christophe Zufferey, Dario ...
MIDDLEWARE
2007
Springer
16 years 28 days ago
Domain-based context management for dynamic and evolutionary environments
Research in context-aware computing has produced a number of application prototypes, frameworks, middlewares and models for describing context. However, development of ubiquitous ...
Ricardo Couto Antunes da Rocha, Markus Endler
ICPR
2008
IEEE
16 years 8 months ago
Multiple classifier applied on predicting microsleep from speech
The aim of this study is to apply a state-of-the-art speech emotion recognition engine on the detection of microsleep endangered sleepiness states. Current approaches in speech em...
Jarek Krajewski, Anton Batliner, Rainer Wieland
« Prev « First page 1120 / 1495 Last » Next »