14244 search results - page 2171 / 2849 » Modeling Program Predictability |
189
click to vote
MIDDLEWARE
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Conventional middleware architectures suffer from insufficient module-level reusability and the ability to adapt in face of functionality evolution and diversification....
205
click to vote
TACAS
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
199
click to vote
UM
2005
Springer
16 years 19 days ago
2005
Springer
This paper improves a recently-presented approach to Web Personalization, named Community Web Directories, which applies personalization techniques to Web Directories. The Web dire...
234
click to vote
WINE
2005
Springer
16 years 19 days ago
2005
Springer
This paper studies the equilibrium property and algorithmic complexity of the exchange market equilibrium problem with concave piece-wise linear functions, which include linear an...
219
click to vote
SIGMOD
2004
ACM
16 years 18 days ago
2004
ACM
Information in today’s enterprises commonly resides in a variety of heterogeneous data sources, including relational databases, web services, files, packaged applications, and c...