3679 search results - page 368 / 736 » Hybrid Semantic Analysis |
175
click to vote
PERCOM
2009
ACM
16 years 2 months ago
2009
ACM
Highly sensorised systems present two parallel challenges: how to design a sensor suite that can efficiently and cost-effectively support the needs of given services; and to extr...
199
click to vote
ISSTA
2009
ACM
16 years 2 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
177
click to vote
CSMR
2008
IEEE
16 years 2 months ago
2008
IEEE
Databases are continuously evolving environments, where design constructs are added, removed or updated rather often. Small changes in the database configurations might impact a l...
208
click to vote
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a novel method for generating engaging multi-modal content automatically from text. Rhetorical Structure Theory (RST) is used to decompose text into disc...
219
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...