Sciweavers

2638 search results - page 334 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
EHCI
2001
15 years 8 months ago
Heuristic Evaluation of Groupware Based on the Mechanics of Collaboration
Despite the increasing availability of groupware, most systems are awkward and not widely used. While there are many reasons for this, a significant problem is that groupware is di...
Kevin Baker, Saul Greenberg, Carl Gutwin
CIMCA
2006
IEEE
16 years 18 days ago
Assessing and Assuring Trust in E-Commerce Systems
On-line trading or Internet Commerce restoring to ECommerce systems are gradually replacing the traditional commerce activities. Internet users must have reasonable faith on the u...
Zhongwei Zhang, Zhen Wang
QEST
2007
IEEE
16 years 24 days ago
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
Christel Baier, Tomás Brázdil, Marcu...
ISI
2005
Springer
16 years 1 days ago
Information Supply Chain: A Unified Framework for Information-Sharing
To balance demand and supply of information, we propose a framework called “information supply chain” (ISC). This framework is based on supply chain management (SCM), which has...
Shuang Sun, John Yen
NOMS
2000
IEEE
176views Communications» more  NOMS 2000»
15 years 11 months ago
Design and analysis of a proactive application management system (PAMS)
Management of large-scale Network-Centric Systems (NCS) and their applications is an extremely complex and challenging task due to factors such as centralized management architect...
Salim Hariri, Yoonhee Kim