1257 search results - page 120 / 252 » Simplifying spline models |
157
click to vote
FSEN
2007
Springer
16 years 17 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
161
click to vote
ICDCSW
2006
IEEE
16 years 14 days ago
2006
IEEE
Content-based publish/subscribe is a very appealing interaction model that has attracted intense efforts from the research community in the quest to obtain “Internet-wide” sca...
164
click to vote
ADBIS
2005
Springer
15 years 12 months ago
2005
Springer
Patterns and models are artifacts that are assets to their owners. Storing them in a repository and using common interfaces for their management simplifies their usage. This articl...
139
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Current data-intensive Web applications, such as on-line trading, ecommerce, corporate portals and so on, are becoming more and more complex, both in terms of density of ...
171
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
We present the design of a new web application framework for collaborative learning. The framework guides users (i.e. teachers) in implementing online activities based on well-know...