4340 search results - page 545 / 868 » Formal Methods and Cryptography |
149
click to vote
FMCAD
2007
Springer
16 years 25 days ago
2007
Springer
Abstract— The relationship between changes in gene expression and physical characteristics associated with Down syndrome is not well understood. Chromosome 21 genes interact with...
194
click to vote
DEXAW
2006
IEEE
16 years 22 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...
171
click to vote
MEMOCODE
2006
IEEE
16 years 20 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...
160
click to vote
SAC
2006
ACM
16 years 18 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...
161
click to vote
HICSS
2005
IEEE
16 years 8 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...