1454 search results - page 193 / 291 » Stateful traits and their formalization |
146
click to vote
DATE
2005
IEEE
16 years 18 hour ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
159
click to vote
APN
2005
Springer
15 years 12 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
153
click to vote
EUROGP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A protein is a linear chain of amino acids that folds into a unique functional structure, called its native state. In this state, proteins show repeated substructures lik...
156
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
193
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...