4143 search results - page 15 / 829 » A theory of distributed aspects |
ICDCSW
2002
IEEE
15 years 4 months ago
2002
IEEE
70
Voted
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Most existing studies of website characteristics and their impact on intentions have assumed a linear relationship between them. However, motivational theories suggest that while ...
51
Voted
BMCBI
2008
14 years 11 months ago
2008
Background: DNA sequencing is now emerging as an important component in biomedical studies of diseases like cancer. Short-read, highly parallel sequencing instruments are expected...
116
click to vote
JUCS
2010
14 years 6 months ago
2010
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
CADE
2006
Springer
16 years 1 hour ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...