Sciweavers

2243 search results - page 3 / 449
» Contracts for Mobile Processes
Sort
View
CHI
2008
ACM
14 years 6 months ago
Breaking the disposable technology paradigm: opportunities for sustainable interaction design for mobile phones
We present a qualitative study of mobile phone ownership, replacement and disposal practices geared towards identifying design opportunities towards sustainable mobile phone inter...
Elaine M. Huang, Khai N. Truong
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
13 years 12 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
HICSS
1997
IEEE
151views Biometrics» more  HICSS 1997»
13 years 10 months ago
Intelligent Agent Based Contract Process in Electronic Commerce: UNIK-AGENT Approach
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
Jae Kyu Lee, Woongkyu Lee
IFIP
2007
Springer
13 years 12 months ago
A Framework for QoS Contract Negotiation in Component-Based Applications
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
Mesfin Mulugeta, Alexander Schill
BPM
2006
Springer
150views Business» more  BPM 2006»
13 years 9 months ago
Towards a Methodology for Deriving Contract-Compliant Business Processes
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlo...