8555 search results - page 1591 / 1711 » Property Based Coordination |
168
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
135
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
173
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
195
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Contextual advertising supports much of the Web's ecosystem today. User experience and revenue (shared by the site publisher ad the ad network) depend on the relevance of the...
127
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
In this paper we present a novel framework for extracting the ratable aspects of objects from online user reviews. Extracting such aspects is an important challenge in automatical...