10038 search results - page 346 / 2008 » Model Checking for Managers |
170
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Once the battery becomes fully discharged, a battery-powered portable electronic system goes off-line. Therefore, it is important to take the battery behavior into account. A syst...
163
click to vote
ISSA
2008
15 years 8 months ago
2008
The problem today is that users are expected to remember multiple user names and passwords for different domains when accessing the Internet. Identity management solutions seek to...
144
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
e-business organizations are under constant threat of their business being disrupted by hackers, viruses and a host of malicious attackers. This would lead to loses to the tune of...
197
click to vote
BERTINORO
2005
Springer
16 years 9 days ago
2005
Springer
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
179
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a method for modeling the dynamic behavior of harbor supply chains and evaluating strategic and operational policies of the proposed harbor supply chain by app...