Sciweavers

2702 search results - page 83 / 541
» Requirements Processes: An Experience Report
Sort
View
MODELS
2009
Springer
16 years 26 days ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
AVSS
2006
IEEE
16 years 11 days ago
Learning Foveal Sensing Strategies in Unconstrained Surveillance Environments
In this paper we report on techniques for automatically learning foveal sensing strategies for an active pan-tiltzoom camera. The approach uses reinforcement learning to discover ...
Andrew D. Bagdanov, Alberto Del Bimbo, Walter Nunz...
ICRA
2000
IEEE
96views Robotics» more  ICRA 2000»
15 years 10 months ago
Design of Synchronized Supply Chains: A Six Sigma Tolerancing Approach
A supply chain network can be viewed as a network of facilities in which a customer order will flow through internal business processes such as procurement, production, and transp...
Y. Narahari, Nukala Viswanadham, R. Bhattacharya
ERCIMDL
1997
Springer
106views Education» more  ERCIMDL 1997»
15 years 10 months ago
Scalable Text Retrieval for Large Digital Libraries
It is argued that digital libraries of the future will contain terabyte-scale collections of digital text and that full-text searching techniques will be required to operate over c...
David Hawking
WECWIS
2006
IEEE
129views ECommerce» more  WECWIS 2006»
16 years 9 days ago
Probing and Monitoring of WSBPEL Processes with Web Services
Today’s business climate requires organizations to constantly evolve IT strategies to respond to new opportunities or threats. Tracking the achievement of business goals, object...
Heinz Roth, Josef Schiefer, Alexander Schatten