4983 search results - page 338 / 997 » order 2008 |
199
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
The concept of cyclical influence between individuals and society is widely accepted, but hard to understand in all details. This paper proposes the use of three processes of socia...
175
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
In factory automation, production line scheduling entails a number of competing issues. Finding optimal configurations often requires use of local search techniques. Local search l...
177
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions ...
162
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
167
click to vote
FSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we present an efficient algorithm for the retrieval of the RC4 secret key, given an internal state. This algorithm is several orders of magnitude faster tha...