4349 search results - page 463 / 870 » A Comprehensive Process Model for Studying Software Process ... |
150
click to vote
TES
2005
Springer
15 years 11 months ago
2005
Springer
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...
146
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
150
click to vote
SOCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
174
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
212
click to vote
ICIP
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper presents a new definition of a spatial entropy mainly based on the Markov Random Field (MRF) properties. Starting with the study of the entropy proposed in [1] for the ...