882 search results - page 68 / 177 » Allowing State Changes in Specifications |
160
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In today's fast changing business environment flexible Process Aware Information Systems (PAISs) are required to allow companies to rapidly adjust their business pro...
142
click to vote
NHM
2010
15 years 29 days ago
2010
Previous experimental studies of spontaneous imbibition on chalk core plugs have shown that seawater may change the wettability in the direction of more water-wet conditions in cha...
151
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Given a model family and a set of unlabeled examples, one could either label specific examples or state general constraints--both provide information about the desired model. In g...
161
click to vote
ETFA
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
143
click to vote
EMISA
2004
Springer
15 years 11 months ago
2004
Springer
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...