1424 search results - page 135 / 285 » Modeling A Control System For Organizational Processes |
123
Voted
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
121
click to vote
ICDE
2010
IEEE
15 years 3 months ago
2010
IEEE
— Database Management Systems (DBMSs) are often required to simultaneously process multiple diverse workloads while enforcing business policies that govern workload performance. ...
120
click to vote
HYBRID
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
133
Voted
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we present a soft computing system developed to optimize the face milling operation under High Speed conditions in the manufacture of steel components like molds with...
122
Voted
HPDC
1999
IEEE
15 years 7 months ago
1999
IEEE
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...