1816 search results - page 212 / 364 » Case study in modeling and simulation validation methodology |
189
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
170
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
142
click to vote
EDOC
2007
IEEE
16 years 23 days ago
2007
IEEE
In this paper we introduce an analysis framework for mobile workforce automation. The framework is based on the findings from earlier research as well as on an analysis of 27 rec...
146
click to vote
IJON
2002
15 years 6 months ago
2002
On the basis of a computational and neurodynamical model, we investigate a cognitive impairment in stroke patients termed visual neglect. The model is based on the "biased co...
180
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background-: PedGenie software, introduced in 2006, includes genetic association testing of cases and controls that may be independent or related (nuclear families or extended ped...