7195 search results - page 1007 / 1439 » On Computing Power |
188
click to vote
AWCC
2004
Springer
16 years 9 days ago
2004
Springer
Security becomes increasingly important. However, existing security tools, almost all defensive, have many vulnerabilities which are hard to overcome because of the lack of informa...
205
click to vote
BIRTHDAY
2004
Springer
16 years 9 days ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
196
click to vote
GG
2004
Springer
16 years 9 days ago
2004
Springer
Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising...
222
click to vote
POLICY
2004
Springer
16 years 8 days ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...
196
click to vote
SPIN
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...