Sciweavers

2039 search results - page 100 / 408
» Teaching Standards to Engineers
Sort
View
EWSA
2004
Springer
15 years 12 months ago
The FABRIC Project
The FABRIC project aims at the integration of middleware standards used in home networks to provide high quality streaming over a heterogeneous network. without introducing new sta...
Peter van der Stok, Jan Jelle Boomgaardt, Helmut B...
FOSSACS
2006
Springer
15 years 10 months 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 ...
APSEC
2001
IEEE
15 years 10 months ago
Tailoring and Verifying Software Process
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
Il-Chul Yoon, Sang-Yoon Min, Doo-Hwan Bae
PEPM
1993
ACM
15 years 10 months ago
The Correctness of an Optimized Code Generation
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Torben Poort Lange
MODELS
2007
Springer
16 years 18 days ago
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
Gregory Zoughbi, Lionel C. Briand, Yvan Labiche