292 search results - page 21 / 59 » On the Expression of Interaction Properties within an Intera... |
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
This paper describes a research approach to the experimental study of emotional experiences and their connections to other components of user experience in human-technology intera...
CORR
2009
Springer
13 years 6 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
ECOOP
1995
Springer
14 years 23 hour ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
CSFW
1999
IEEE
14 years 24 days ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...