2407 search results - page 351 / 482 » A Tool for Abstraction in Model Checking |
144
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
Xax is a browser plugin model that enables developers to leverage existing tools, libraries, and entire programs to deliver feature-rich applications on the web. Xax employs a nov...
154
click to vote
MODELS
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
178
click to vote
AOSE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The agent-oriented approach has been successfully applied to the solution of complex problems in dynamic open environments. However, to extend its use to mainstream compu...
171
click to vote
BPM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
165
click to vote
JODS
2006
15 years 6 months ago
2006
Abstract. Many problems in Information and Data Management require a semantic account of a database schema. At its best, such an account consists of formulas expressing the relatio...