1975 search results - page 147 / 395 » Property analysis and design understanding |
142
click to vote
AUTOMATICA
2000
15 years 6 months ago
2000
In this paper, a learning control system is considered for motion systems that are subject to two types of disturbances; reproducible disturbances, that re-occur each run in the s...
173
click to vote
WOSS
2004
ACM
16 years 4 days ago
2004
ACM
A distributed software system’s deployment architecture can have a significant impact on the system’s properties, which depend on various system parameters, such as network ba...
181
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
180
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
— In this paper we present a new approach to workflow analysis. There are efforts to design and verify workflow models using both Activity diagrams and Petri nets. We model the w...
170
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...