8828 search results - page 328 / 1766 » Formal methods in practice |
258
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...
181
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
219
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
174
click to vote
JCS
2007
15 years 6 months ago
2007
Many emerging applications in both wired and wireless networks need support of secure group communications. There have been many secure group communication schemes in the setting ...
190
click to vote
DEXA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Latent Semantic Indexing(LSI) has been proved to be effective to capture the semantic structure of document collections. It is widely used in content-based text retrieval...