1728 search results - page 76 / 346 » Formal Modeling of Process Migration |
WISE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
DAWAK
1999
Springer
15 years 3 months ago
1999
Springer
One of the most challenging problems in data manipulation in the future is to be able to e ciently handle very large databases but also multiple induced properties or generalizatio...
131
click to vote
ICWS
2004
IEEE
15 years 13 days ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract—We provide a formal model for the Change Management process for Enterprise IT systems, and develop change scheduling algorithms that seek to attain the “change capacit...
HICSS
2008
IEEE
15 years 5 months ago
2008
IEEE
In innovation adoption literature, the important role of the organizational context as a determinant of information systems (IS) success has long been pointed out. Various factors...