Sciweavers

2004 search results - page 200 / 401
» Understanding Ontological Levels
Sort
View
142
Voted
ATAL
2007
Springer
15 years 9 months ago
Towards provably secure trust and reputation systems in e-marketplaces
In this paper, we present a framework for evaluating the security of trust and reputation systems for electronic marketplaces populated with buying and selling agents. Our propose...
Reid Kerr, Robin Cohen
CAISE
2006
Springer
15 years 9 months ago
Defining Requirements for Business Process Flexibility
The recent work on business process flexibility focuses primarily on defining and classifying business process flexibility and developing strategies, architectures, and tactics for...
Kuldeep Kumar, Murali Mohan Narasipuram
TPHOL
2000
IEEE
15 years 9 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison
WCRE
1995
IEEE
15 years 9 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
ACMIDC
2008
15 years 7 months ago
Interactive and intelligent visual communication systems
Interventions to support children with cognitive and social developmental disabilities often include visual elements. Use of visual artifacts has been shown to increase the commun...
Gillian R. Hayes, Donald J. Patterson, Mohamad Mon...