7820 search results - page 131 / 1564 » Formalization of Time and Space |
156
Voted
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper reports the findings from two field studies that reveal paper-based artifacts being heavily relied upon in medical shift work despite the deployment of a mobile technol...
222
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
158
click to vote
DSVIS
2006
Springer
15 years 10 months ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
179
Voted
CLA
2004
15 years 8 months ago
2004
Binary factor analysis (BFA, also known as Boolean Factor Analysis) is a nonhierarchical analysis of binary data, based on reduction of binary space dimension. It allows us to find...
210
Voted
FASE
2005
Springer
16 years 14 days ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...