2468 search results - page 246 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
137
click to vote
ICIAR
2005
Springer
15 years 10 months ago
2005
Springer
There has been many hidden communication techniques proposed in the last few years. The focus was given to steganography to build such techniques. Utilizing stego-key(s) to hide se...
140
click to vote
LCPC
1999
Springer
15 years 8 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
167
click to vote
DDECS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
140
click to vote
JUCS
2008
15 years 4 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
153
click to vote
AAAI
2007
15 years 6 months ago
2007
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...