5863 search results - page 331 / 1173 » On Model-Checking of P Systems |
203
Voted
FUIN
2008
15 years 7 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
195
Voted
ENTCS
2007
15 years 7 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
250
click to vote
RE
2010
Springer
15 years 2 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
177
Voted
HYBRID
2009
Springer
16 years 2 months ago
2009
Springer
220
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—P2P (peer-to-peer) technology has proved itself an efficient and cost-effective solution to support large-scale multimedia streaming. Different from traditional P2P application...