15778 search results - page 2826 / 3156 » Aikido and software engineering |
177
click to vote
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
A key idea in cryptography is using hard functions in order to obtain secure schemes. The theory of hard functions (e.g. one-way functions) has been a great success story, and the ...
161
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper presents several engineering applications that involve distributed software services. Due to the complexity of these applications, an efficient and flexible se...
173
click to vote
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
149
Voted
ITNG
2010
IEEE
15 years 12 months ago
2010
IEEE
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
193
click to vote
EUROSYS
2010
ACM
15 years 12 months ago
2010
ACM
We present an approach for adaptive scheduling of soft realtime legacy applications (for which no timing information is exposed to the system). Our strategy is based on the combin...