4722 search results - page 686 / 945 » Encoding Program Executions |
135
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
138
click to vote
ICNC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Parallel genetic algorithms are usually implemented on parallel machines or distributed systems. This paper describes how finegrained parallel genetic algorithms can be ...
120
click to vote
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
120
Voted
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
137
Voted
IMA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...