7213 search results - page 1276 / 1443 » Automated model grouping |
161
Voted
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
141
click to vote
ACMICEC
2004
ACM
15 years 11 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...
166
click to vote
SC
2004
ACM
15 years 11 months ago
2004
ACM
Virtual machines provide flexible, powerful execution environments for Grid computing, offering isolation and security mechanisms complementary to operating systems, customization...
164
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
177
click to vote
ERCIMDL
2004
Springer
15 years 11 months ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...