2060 search results - page 141 / 412 » The Composition of Event-B Models |
176
click to vote
JUCS
2010
14 years 11 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...
182
click to vote
COLCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
144
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Libraries of learning objects may serve as basis for deriving course offerings that are customized to the needs of different learning communities or even individuals. Several ways...
125
click to vote
CSUR
2000
15 years 4 months ago
2000
Many object-oriented frameworks exhibit a high density of design pattern applications. Usually, there are more instances in a framework than there are abstract classes. Yet, only ...
153
click to vote
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
Color is one of the main visual cues and has been frequently used in image processing, analysis and retrieval. The extraction of highlevel color descriptors is an increasingly imp...