631 search results - page 85 / 127 » Deriving Specifications from Requirements: An Example |
COORDINATION
2009
Springer
14 years 8 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
KDD
2002
ACM
14 years 7 months ago
2002
ACM
In this paper, we present a new co-training strategy that makes use of unlabelled data. It trains two predictors in parallel, with each predictor labelling the unlabelled data for...
AFRIGRAPH
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we describe a novel approach to 3D shape modelling, targeting at the reconstruction and repair of digitised models – a task that is frequently encountered in part...
AAMAS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. So far, the main focus of research on adaptability in multiagent systems (MASs) has been on the agents’ behavior, for example on developing new learning techniques and ...
BTW
2005
Springer
14 years 28 days ago
2005
Springer
Abstract: An effective processing and analysis of data streams is of utmost importance for a plethora of emerging applications like network monitoring, traffic management, and fi...