Sciweavers

432 search results - page 51 / 87
» On Notions of Regularity for Data Languages
Sort
View
SACMAT
2005
ACM
15 years 11 months ago
Relevancy based access control of versioned XML documents
Integration of version and access control of XML documents has the benefit of regulating access to rapidly growing archives of XML documents. Versioned XML documents provide us w...
Mizuho Iwaihara, Somchai Chatvichienchai, Chutipor...
140
Voted
FMOODS
2006
15 years 7 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
CONCUR
2010
Springer
15 years 6 months ago
Obliging Games
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
Krishnendu Chatterjee, Florian Horn, Christof L&ou...
147
Voted
NLPRS
2001
Springer
15 years 10 months ago
A Probabilistic Model for Japanese Zero Pronoun Resolution Integrating Syntactic and Semantic Features
This paper proposes a method to resolve Japanese zero pronouns by identifying their antecedents. Our method uses a probabilistic model, which is decomposed into syntactic and sema...
Kazuhiro Seki, Atsushi Fujii, Tetsuya Ishikawa
POPL
2000
ACM
15 years 10 months ago
A Type System for Dynamic Web Documents
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
Anders Sandholm, Michael I. Schwartzbach