10038 search results - page 1620 / 2008 » Model Checking for Managers |
192
click to vote
CRIWG
2001
15 years 8 months ago
2001
The coordination of interdependencies between tasks in collaborative environments is a very important and difficult endeavor. The separation between tasks and interdependencies al...
220
click to vote
HERCMA
2001
15 years 8 months ago
2001
In this paper we present a complete reference framework for the operation of Certification Service Provider as an organisation. The objective is to form an intermediate reference m...
147
click to vote
ECIS
2003
15 years 8 months ago
2003
This study adopts a stakeholder analysis to examine stakeholders’ roles and contributions in influencing organizational decisions to abandon information systems (IS) development...
166
click to vote
NETWORKING
2004
15 years 8 months ago
2004
A common feature of congestion control protocols is the presence of information packets used to signal congestion. We address here the question of how frequently such protocols nee...
154
click to vote
JVM
2001
15 years 8 months ago
2001
For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...