4987 search results - page 601 / 998 » Support Ordered Resolution |
203
Voted
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...
199
Voted
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Aside of day-to-day business in some organizations Enterprise Architecture (EA) seems to be successful while it is not in others that also have notations, models, methods...
190
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
215
click to vote
ENTCS
2010
15 years 4 months ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
186
Voted
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
We consider wireless networks in which multiple paths are available between each source and destination. We allow each source to split traffic among all of its available paths, and...