10038 search results - page 1527 / 2008 » Model Checking for Managers |
186
click to vote
ZUM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
170
click to vote
AMTA
2004
Springer
16 years 6 days ago
2004
Springer
In conventional word alignment methods, some employ statistical models or statistical measures, which need large-scale bilingual sentencealigned training corpora. Others employ dic...
200
click to vote
CIKM
2004
Springer
16 years 6 days ago
2004
Springer
Recently, a large amount of work has been done in XML data mining. However, we observed that most of the existing works focus on the snapshot XML data, while XML data is dynamic i...
165
click to vote
ESAW
2004
Springer
16 years 6 days ago
2004
Springer
The agent metaphor has shown its usefulness for modelling as well as implementing complex and dynamic applications. Although a number of agent applications has been successfully re...
158
click to vote
GI
2004
Springer
16 years 6 days ago
2004
Springer
: An interesting phenomenon in the open source software (OSS) market is the evolution of intermediaries, which provide services to the OSS community. A problem of this business mod...