2153 search results - page 302 / 431 » From Requirements Models to Formal Specifications in B |
182
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
167
click to vote
IEAAIE
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
136
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we describe a generic library of problemsolving methods (PSMs) for scheduling applications. Although, some attempts have been made in the past at developing librarie...
147
click to vote
BPM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
158
click to vote
CPHYSICS
2008
15 years 6 months ago
2008
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...