5200 search results - page 133 / 1040 » Symbolic models for control systems |
AAAI
1996
13 years 10 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
: This paper investigates a new modelling and control issue: the tracking control problem of underactuated dynamic systems by using a special example – a pendulum-driven cart-pol...
ICSE
2000
IEEE-ACM
14 years 16 days ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
Application autonomy can reduce interactions with users, ease the use of the system, and decrease user distraction. On the other hand, users may feel loss of control over their ap...
EMISAIJ
2010
13 years 3 months ago
2010
Integrated process support is highly desirable in environments where data related to a particular business process are scattered over distributed, heterogeneous information system...