320 search results - page 59 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
175
click to vote
VLDB
2007
ACM
16 years 20 days ago
2007
ACM
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...
110
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
106
click to vote
WORDS
2005
IEEE
15 years 6 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
122
click to vote
CVBIA
2005
Springer
15 years 6 months ago
2005
Springer
Standard image based segmentation approaches perform poorly when there is little or no contrast along boundaries of different regions. In such cases, segmentation is largely perfor...
86
Voted
ACMICEC
2004
ACM
15 years 5 months ago
2004
ACM
Many companies have found out the hard way that successful ecommerce requires more than a flashy web presence. Existing business processes must be seamlessly integrated with the n...