Sciweavers

2496 search results - page 245 / 500
» Error-detecting properties of languages
Sort
View
JSS
2010
215views more  JSS 2010»
15 years 5 months ago
Analyzing architectural styles
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
Jung Soo Kim, David Garlan
SOCO
2010
Springer
15 years 4 months ago
Event-Specific Software Composition in Context-Oriented Programming
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
Malte Appeltauer, Robert Hirschfeld, Hidehiko Masu...
EMNLP
2009
15 years 4 months ago
Gazpacho and summer rash: lexical relationships from temporal patterns of web search queries
In this paper we investigate temporal patterns of web search queries. We carry out several evaluations to analyze the properties of temporal profiles of queries, revealing promisi...
Enrique Alfonseca, Massimiliano Ciaramita, Keith H...
EMNLP
2009
15 years 4 months ago
A Structural Support Vector Method for Extracting Contexts and Answers of Questions from Online Forums
This paper addresses the issue of extracting contexts and answers of questions from post discussion of online forums. We propose a novel and unified model by customizing the struc...
Wen-Yun Yang, Yunbo Cao, Chin-Yew Lin
IFIP
2009
Springer
15 years 4 months ago
A User Interface for a Game-Based Protocol Verification Tool
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
Peeter Laud, Ilja Tsahhirov