16725 search results - page 2788 / 3345 » Engineering Software Correctness |
170
click to vote
FOSSACS
2005
Springer
16 years 16 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
168
click to vote
FOSSACS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
137
click to vote
FOSSACS
2005
Springer
16 years 16 days ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
172
click to vote
FSTTCS
2005
Springer
16 years 16 days ago
2005
Springer
In this paper4 , we compare Timed Automata (TA) and Time Petri Nets (TPN) with respect to weak timed bisimilarity. It is already known that the class of bounded TPNs is strictly in...
168
click to vote
FSTTCS
2005
Springer
16 years 16 days ago
2005
Springer
We investigate the s-t-connectivity problem for directed planar graphs, which is hard for L and is contained in NL but is not known to be complete. We show that this problem is log...