882 search results - page 81 / 177 » Analysis of Composite Corridors |
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
Particle compound material is the composition of different particles with inhomogeneous and non-uniform properties. Particle compound material is the most complicated engineering m...
FSTTCS
2003
Springer
14 years 2 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
GCB
2009
Springer
14 years 20 days ago
2009
Springer
Abstract: Graphs are often used to describe and analyze the geometry and physicochemical composition of biomolecular structures, such as chemical compounds and protein active sites...
JAR
2008
13 years 8 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
JALC
2006
13 years 8 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...