4126 search results - page 80 / 826 » Modelling Electronic Organizations |
134
click to vote
WSC
2007
15 years 7 months ago
2007
In this paper, we compare two scheduling procedures designed to minimize setup costs for a make-to-order electronics manufacturing. While setup costs are important, quick response...
170
Voted
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
147
click to vote
RE
2007
Springer
15 years 11 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
138
Voted
ESAW
2001
Springer
15 years 9 months ago
2001
Springer
Mobile application components can be effectively and uniformly modeled in terms of autonomous agents moving across different context during execution. In this paper, we introduce a...
170
click to vote
AIR
2005
15 years 4 months ago
2005
The scientific research in the area of computational mechanisms for trust and reputation in virtual societies is a recent discipline oriented to increase the reliability and perfor...