1884 search results - page 278 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
IWSEC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
115
click to vote
SAMT
2007
Springer
15 years 4 months ago
2007
Springer
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer su cien...
GCC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Due to the complexity and uncertainties, the engineering process requires dynamic collaborations among the heterogeneous systems and human interactions. In this paper, we...
131
click to vote
SEM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Current research in peer to peer systems is lacking appropriate environments for simulation and experimentation of large scale overlay services. This has led to a plethor...