10038 search results - page 553 / 2008 » Model Checking for Managers |
175
click to vote
ICNC
2005
Springer
16 years 21 days ago
2005
Springer
In this paper, we review a visual approach and propose it for analysing computer-network activity, which is based on the use of unsupervised connectionist neural network models and...
178
click to vote
ICC
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract: Since mobile user mobility behaviors can vary according to time periods, e.g. office-going/closing and office hours, the location management traffic load for tracking ...
175
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The term of a "process" is used in Software Engineering (SE) theories and practices in many different ways, which cause confusion. In this paper we will firstly...
241
click to vote
USITS
2003
15 years 8 months ago
2003
Internet service utilities host multiple server applications on a shared server cluster. A key challenge for these systems is to provision shared resources on demand to meet servi...
190
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Building a configuration management (CM) system is a difficult endeavor that regularly requires tens of thousands of lines of code to be written. To reduce this effort, several ex...