117 search results - page 23 / 24 » Accurate Centralization for Applying Model Checking on Netwo... |
ICHIM
2001
13 years 8 months ago
2001
Within the field of cultural heritage restoration, experts are interested in the analysis of data describing the condition and history of ancient monuments. Data are usually distr...
ATC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Jgroup/ARM is a middleware for developing and operating dependable distributed Java applications. Jgroup integrates the distributed object model of Java RMI with the obje...
TSP
2008
13 years 7 months ago
2008
Estimation and tracking of generally nonstationary Markov processes is of paramount importance for applications such as localization and navigation. In this context, ad hoc wireles...
JIPS
2010
13 years 2 months ago
2010
In order to provide a tailored education for learners within the ubiquitous environment, it is critical to undertake an analysis of the learning activities of learners. For this pu...
DASFAA
2009
IEEE
14 years 2 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...