4290 search results - page 50 / 858 » Formal Approaches to Teamwork |
157
click to vote
FORTE
2004
15 years 7 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
164
click to vote
IPMU
2010
Springer
15 years 11 months ago
2010
Springer
The paper offers a parallel between two approaches to conceptual clustering, namely
157
click to vote
SAFECOMP
1999
Springer
15 years 10 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
156
click to vote
CLEF
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. While classical approaches to unsupervised morphology acquisition often rely on metrics based on information theory for identifying morphemes, we describe a novel approac...
157
click to vote
CII
2006
15 years 6 months ago
2006
The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the sui...