934 search results - page 102 / 187 » Supporting Cross-Organizational Process Control |
122
Voted
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...
149
click to vote
ACMICEC
2008
ACM
15 years 5 months ago
2008
ACM
The goal of IT governance is not only to achieve internal efficiency in an IT organization, but also to support IT's role as a business enabler. The latter is here denoted IT...
149
Voted
FLAIRS
2004
15 years 5 months ago
2004
As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and...
139
click to vote
AAAI
1996
15 years 5 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
157
click to vote
SIGPLAN
2002
15 years 3 months ago
2002
: Object-oriented frameworks require thorough testing as they are intended to be reused repeatedly in developing numerous applications. Moreover, whenever a framework is extended f...