1816 search results - page 80 / 364 » Formal Concepts of Learning Systems Validation in Use |
130
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
180
click to vote
DKE
2008
15 years 4 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
130
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— This paper presents a novel approach for visionbased control of the end-effector of parallel mechanisms. It is based on the metrological redundancy paradigm, which simp...
158
click to vote
ICONS
2009
IEEE
15 years 11 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
150
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...