Sciweavers

156 search results - page 18 / 32
» A Practical Approach to NFS Response Time Monitoring
Sort
View
86
Voted
EUROMICRO
2000
IEEE
15 years 5 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ICSE
2010
IEEE-ACM
15 years 6 months ago
Customized awareness: recommending relevant external change events
It is often assumed that developers’ view of their system and its environment is always consistent with everyone else’s; in practice, this assumption can be false, as the deve...
Reid Holmes, Robert J. Walker
COLING
2002
15 years 1 months ago
A Novel Disambiguation Method for Unification-Based Grammars Using Probabilistic Context-Free Approximations
We present a novel disambiguation method for unification-based grammars (UBGs). In contrast to other methods, our approach obviates the need for probability models on the UBG side...
Bernd Kiefer, Hans-Ulrich Krieger, Detlef Prescher
GPC
2008
Springer
15 years 2 months ago
A Pragmatic Approach for the Semantic Description and Matching of Pervasive Resources
The increasing popularity of personal wireless devices has raised new demands for the efficient discovery of heterogeneous devices and services in pervasive environments. With the...
Ayomi Bandara, Terry R. Payne, David De Roure, Nic...
ISTA
2004
15 years 2 months ago
On a Network Forensics Model For Information Security
: The employment of a patchwork of nonintegrated security products can only provide incomplete coverage, which cannot give the total panorama of the network misuse behavior. Networ...
Wei Ren