4737 search results - page 100 / 948 » The LOGIC negotiation model |
APSEC
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
CONTEXT
2005
Springer
14 years 2 months ago
2005
Springer
In light of recent attempts to design context-aware mobile phones, this paper contributes by providing findings from a study of mobile phone talk in context. We argue the benefits ...
HICSS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper presents a framework and an intranet solution for an electronic market of human competencies to ease the team building process, as well as to support knowledge and comp...
CSCWD
2005
Springer
13 years 11 months ago
2005
Springer
We propose an analytic method to evaluate groupware design. The method was inspired by GOMS, a well-known approach to analyze usability problems with single-user interfaces. GOMS h...
ICSE
2003
IEEE-ACM
14 years 2 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...