1126 search results - page 90 / 226 » Modularity and the Rule of Adaptation |
168
click to vote
EUROCAST
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
150
Voted
LOPSTR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
127
Voted
DELTA
2006
IEEE
15 years 7 months ago
2006
IEEE
The difficulties of designing nanoscale circuits include the need for regular circuit structure and controlling the timing requirements. A cellular array has highly regular struct...
135
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
133
click to vote
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...