23630 search results - page 396 / 4726 » Common Information Model |
202
click to vote
LFCS
2007
Springer
16 years 28 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
195
click to vote
ICSOFT
2007
15 years 8 months ago
2007
End-user development is proposed as a solution to the issues business organisations face when developing web applications to support their business processes. We are proposing a me...
154
click to vote
EMNLP
2010
15 years 4 months ago
2010
We introduce tiered clustering, a mixture model capable of accounting for varying degrees of shared (context-independent) feature structure, and demonstrate its applicability to i...
177
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
180
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...