432 search results - page 3 / 87 » A Formal Reuse-Based Approach for Interactively Designing Or... |
RIAO
2007
13 years 10 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
AAAI
2006
13 years 10 months ago
2006
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
EUROMICRO
1996
IEEE
14 years 23 days ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
MM
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
ICWE
2010
Springer
13 years 7 months ago
2010
Springer
Since contextual information has potential to improve task-based applications, we provide an approach for integrating contextual information in task-based applications by consideri...