3565 search results - page 500 / 713 » Modeling a system controller for timing analysis |
152
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
164
click to vote
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
138
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
It is vital to use accurate models for the analysis, design, and/or control of business processes. Unfortunately, there are often important discrepancies between reality and models...
155
click to vote
PLDI
1997
ACM
15 years 9 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
151
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...