1757 search results - page 69 / 352 » Alternating Refinement Relations |
122
click to vote
UTP
2010
14 years 10 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
105
click to vote
AVI
2006
15 years 2 months ago
2006
During grouping tasks for data exploration and sense-making, the criteria are normally not well-defined. When users are bringing together data objects thought to be similar in som...
75
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Why measuring security? To make good decisions about how to design security countermeasures, to choose between alternative security architectures, and to improve security during d...
91
Voted
EACL
2003
ACL Anthology
15 years 2 months ago
2003
ACL Anthology
In this paper we propose computeraided summarisation (CAS) as an alternative approach to automatic summarisation, and present an ongoing project which aims to develop a CAS system...
124
click to vote
JCB
2006
15 years 16 days ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...