1257 search results - page 120 / 252 » Simplifying spline models |
120
Voted
FSEN
2007
Springer
15 years 9 months 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...
125
Voted
ICDCSW
2006
IEEE
15 years 9 months 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...
131
click to vote
ADBIS
2005
Springer
15 years 9 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...
103
Voted
ICWE
2005
Springer
15 years 9 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 ...
131
click to vote
ICWE
2005
Springer
15 years 9 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...