5255 search results - page 720 / 1051 » Formal Methods for Privacy |
196
click to vote
DEXAW
2006
IEEE
16 years 23 days ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
174
click to vote
MEMOCODE
2006
IEEE
16 years 22 days ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
163
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
163
click to vote
HICSS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents the results of a genre analysis of two web-based collaborative authoring environments, Wikipedia and Everything2, both of which are intended as repositories of...
174
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...