Sciweavers

390 search results - page 27 / 78
» SOFAS: software analysis services
Sort
View
ICC
2007
IEEE
119views Communications» more  ICC 2007»
14 years 3 months ago
Performance Measurement, Evaluation and Analysis of Push-to-Talk in 3G Networks
— Push-to-talk over Cellular (PoC) is considered as one of important applications in Next Generation Networks (NGN). The main objective of this study is to investigate the perfor...
Wei-Peng Chen, Steven Licking, Takashi Ohno, Satos...
COMPSAC
2010
IEEE
13 years 6 months ago
Team Factors and Failure Processing Efficiency: An Exploratory Study of Closed and Open Source Software Development
Researchers in the field of software engineering economics have associated team factors, such as team size and team experience, with productivity and quality. Since distributed and...
Michael Grottke, Lars M. Karg, Arne Beckhaus
FOSSACS
2006
Springer
14 years 11 days ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...
ISORC
2005
IEEE
14 years 2 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
CBSE
2006
Springer
13 years 10 months ago
A QoS Driven Development Process Model for Component-Based Software Systems
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
Heiko Koziolek, Jens Happe