335 search results - page 42 / 67 » Arguing safety with Problem Oriented Software Engineering |
RE
1997
Springer
15 years 1 months ago
1997
Springer
Contribution structures offer a way to model the network of people who have participated in the requirements engineering process. They further provide the opportunity to extend co...
109
click to vote
SDL
2007
14 years 11 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
SOCO
2010
Springer
15 years 1 months ago
2010
Springer
Aspect composition often involves advice interference and this is a crucial problem in aspect oriented programming. When multiple advices are woven at the same join point, the advi...
EUROPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
105
click to vote
SIAMIS
2011
14 years 4 months ago
2011
This article presents a new adaptive framework for locally parallel texture modeling. Oscillating patterns are modeled with functionals that constrain the local Fourier decompositi...