4360 search results - page 262 / 872 » Socio-technical systems: From design methods to systems engi... |
153
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
An approach is proposed for automatic fault detection in a population of mechatronic systems. The idea is to employ self-organizing algorithms that produce lowdimensional represen...
169
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
179
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
198
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Pulse compression radar systems make use of transmit code sequences and receive filters that are specially designed to achieve good range resolution and target detection capabili...
168
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...