10038 search results - page 666 / 2008 » Model Checking for Managers |
201
click to vote
ISORC
2006
IEEE
16 years 1 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
230
click to vote
EEE
2005
IEEE
16 years 1 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
183
click to vote
WIOPT
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract— In this paper we investigate Radio Resource Management strategies for multimedia networks driven by economic aspects such as users’ utility and service pricing. To th...
206
click to vote
ICN
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Scalable group key management solutions are crucial for supporting Internet applications that are based on a group communication model. Many solutions have been proposed ...
257
click to vote
TCGOV
2005
Springer
16 years 28 days ago
2005
Springer
Growing complexity of the data and processes to be managed, as well as the transition from strict governmental regulation towards autonomy make academic institutions a significant ...