8109 search results - page 478 / 1622 » A Model of Component-Based Programming |
193
click to vote
LICS
2005
IEEE
16 years 1 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
227
click to vote
VC
2002
15 years 7 months ago
2002
Implicit surface modeling systems have been used since the mid-1980s for the generation of cartoon-like characters. Recently implicit models combined with constructive solid geome...
219
click to vote
EUROMED
2010
15 years 6 months ago
2010
Within the last few years generative modeling techniques have gained attention especially in the context of cultural heritage. As a generative model describes a rather ideal object...
207
click to vote
I3E
2003
15 years 9 months ago
2003
: E-applications are increasingly being composed from individual services that can be realized with different technologies, such as, e.g., Web Services and standard component techn...
165
click to vote
TOOLS
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...