2152 search results - page 277 / 431 » On Automating the Calculus of Relations |
115
click to vote
FORTE
2001
15 years 2 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
111
Voted
DLOG
1997
15 years 2 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
101
Voted
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
104
click to vote
GIS
2008
ACM
15 years 2 months ago
2008
ACM
Location-based services are increasingly popular and it is a key challenge to efficiently support query processing. We present a novel design to process large numbers of location...
120
click to vote
CCR
2010
15 years 1 months ago
2010
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundament...