656 search results - page 28 / 132 » A Formalization of Transition P Systems |
107
Voted
FTRTFT
2000
Springer
15 years 4 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
100
click to vote
EUROMICRO
1996
IEEE
15 years 4 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
102
click to vote
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—A P2PTV system allows users to watch live video streams redistributed by other users via a peer-to-peer (P2P) network. In an ideal world, each peer in a P2P network would be abl...
92
Voted
MPC
1998
Springer
15 years 4 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
WCRE
2000
IEEE
15 years 4 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...