9873 search results - page 338 / 1975 » Emergent Semantics Systems |
176
click to vote
TCS
2008
15 years 6 months ago
2008
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
177
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
174
click to vote
ICECCS
2006
IEEE
16 years 24 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
171
click to vote
ISM
2005
IEEE
16 years 10 days ago
2005
IEEE
Hazard detection and prevention of natural and manmade disasters at critical civil infrastructure is becoming increasingly important. Recent events, such as earthquakes and terror...
158
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
Collaborative interpretation occurs when a group interprets and transforms a diverse set of information fragments into a coherent set of meaningful descriptions. This activity is ...