5101 search results - page 423 / 1021 » Capturing Context Requirements |
175
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
158
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
182
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
171
click to vote
WDAG
2007
Springer
16 years 1 months ago
2007
Springer
The timestamp problem captures a fundamental aspect of asynchronous distributed computing. It allows processes to label events throughout the system with timestamps that provide in...
186
click to vote
CIBCB
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...