23098 search results - page 468 / 4620 » Component Based Development |
210
click to vote
ENTCS
2006
15 years 7 months ago
2006
We present a proof technique in -calculus that can facilitate inductive reasoning on -terms by separating certain -developments from other -reductions. We give proofs based on thi...
155
click to vote
IJNVO
2008
15 years 7 months ago
2008
This study explores how people trust each other in Virtual Communities (VCs). The online presence is certainly different from the physical world.; the broad question in this resea...
204
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...
208
click to vote
TSD
2004
Springer
16 years 29 days ago
2004
Springer
In this paper we report on the acquisition and content of a new database intended for developing audio-visual speech recognition systems. This database supports a speaker dependen...
199
click to vote
CDC
2009
IEEE
16 years 10 days ago
2009
IEEE
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...