2282 search results - page 402 / 457 » Active property checking |
PDC
2006
ACM
14 years 3 months ago
2006
ACM
Over the last decade, the major firms and cultural institutions that have dominated media and information industries in the U.S. and globally have been challenged by people adopti...
CSFW
2005
IEEE
14 years 3 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
DASFAA
2005
IEEE
14 years 3 months ago
2005
IEEE
Formal concept analysis has become an active field of study for data analysis and knowledge discovery. A formal concept C is determined by its extent (the set of objects that fall...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
Business objects are object-oriented representations of the concepts of interest in an organization, such as activities, resources and actors. Business objects collaborate with on...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...