Sciweavers

2832 search results - page 334 / 567
» Flexible Modelling for Requirements Engineering
Sort
View
CISIS
2009
IEEE
16 years 1 months ago
A Security Layer for JXTA Core Protocols
— JXTA defines a set of six core protocols specifically suited for ad hoc, pervasive, multi-hop, peer-to-peer (P2P) computing. These protocols allow peers to cooperate and form...
Joan Arnedo-Moreno, Jordi Herrera-Joancomart&iacut...
COMPSAC
2008
IEEE
16 years 1 months ago
SCCM: Service-Oriented Community Coordinated Multimedia Architecture
Community coordinated multimedia (CCM) envisions the paradigm of consuming multiple media via diversity display devices, converged networks, and heterogeneous platforms within a v...
Jiehan Zhou, Mika Rautiainen, Mika Ylianttila
RE
2007
Springer
16 years 20 days ago
Secure and Dependable Patterns in Organizations: An Empirical Approach
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
Yudistira Asnar, Paolo Giorgini, Roberto Bonato, V...
COMPSAC
2005
IEEE
16 years 5 days ago
Reasoning About Software Architecture-Based Regression Testing Through a Case Study
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
VSTTE
2005
Springer
16 years 14 hour ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller