4143 search results - page 15 / 829 » A theory of distributed aspects |
ICDCSW
2002
IEEE
14 years 15 days ago
2002
IEEE
HICSS
2008
IEEE
14 years 2 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 ...
BMCBI
2008
13 years 7 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...
JUCS
2010
13 years 2 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
14 years 7 months 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...