Sciweavers

2550 search results - page 101 / 510
» The Meaning of Open Standards
Sort
View
ENTCS
2007
109views more  ENTCS 2007»
15 years 6 months ago
Symbolic Model Checking for Channel-based Component Connectors
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
Sascha Klüppelholz, Christel Baier
HICSS
2007
IEEE
630views Biometrics» more  HICSS 2007»
16 years 15 days ago
The Ability-Motivation-Opportunity Framework for Behavior Research in IS
Some theoretical models used in IS research may lack explanatory power and consistency because of their failure to provide an adequate means of accounting for contextual and situa...
Jerald Hughes
EGOV
2005
Springer
15 years 11 months ago
Electronic Voting: An All-Purpose Platform
It is generally considered that a key component of electronic government in the future will be electronic voting, as a means of facilitating the participation of citizens in electi...
Ricardo André Costa, Mário Jorge Lei...
JCC
2008
85views more  JCC 2008»
15 years 6 months ago
Minimal molecular surfaces and their applications
Abstract: This article presents a novel concept, the minimal molecular surface (MMS), for the theoretical modeling of biomolecules. The MMS can be viewed as a result of the surface...
P. W. Bates, G. W. Wei, Shan Zhao
LADS
2009
Springer
15 years 10 months ago
Detecting Exceptions in Commitment Protocols: Discovering Hidden States
—Open multiagent systems consist of autonomous agents that are built by different vendors. In principle, open multiagent systems cannot provide any guarantees about the behaviors...
Özgür Kafali, Pinar Yolum