Sciweavers

2098 search results - page 161 / 420
» Syntactic Topic Models
Sort
View
FM
2009
Springer
155views Formal Methods» more  FM 2009»
14 years 4 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
OTM
2005
Springer
14 years 3 months ago
Semantic Transformation of Web Services
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
David Bell, Sergio de Cesare, Mark Lycett
EUROSEC
2010
ACM
14 years 3 months ago
Managing intrusion detection rule sets
The prevalent use of the signature-based approach in modern intrusion detection systems (IDS) emphasizes the importance of the efficient management of the employed signature sets....
Natalia Stakhanova, Ali A. Ghorbani
IJCIS
2007
85views more  IJCIS 2007»
13 years 10 months ago
Typing and Transformational Effects in Complex Information Supply
Information plays an increasingly important role in our lives. Often we retrieve this information by querying the Web: data resources found on the web may provide the information ...
Bas van Gils, Henderik Alex Proper, Patrick van Bo...
EMNLP
2010
13 years 8 months ago
Resolving Event Noun Phrases to Their Verbal Mentions
Event Anaphora Resolution is an important task for cascaded event template extraction and other NLP study. Previous study only touched on event pronoun resolution. In this paper, ...
Bin Chen, Jian Su, Chew Lim Tan