9974 search results - page 1657 / 1995 » Software Interconnection Models |
167
click to vote
SOCO
2009
Springer
15 years 11 months ago
2009
Springer
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting the behavior of objects to be ...
168
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents new achievements on the automatic mapping of algorithms, written in imperative software programming languages, to custom computing machines. The reconfigurable ...
206
click to vote
LOPSTR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
174
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
182
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...