9018 search results - page 1131 / 1804 » 3D-Brain Model Software |
242
click to vote
CODES
2003
IEEE
16 years 23 days ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
212
click to vote
KBSE
2003
IEEE
16 years 22 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
178
click to vote
AOSD
2003
ACM
16 years 22 days ago
2003
ACM
From the early days of object-oriented programming, the model-view-controller paradigm has been pursued for a clear design which separates different responsibilities within an in...
226
click to vote
IUI
2003
ACM
16 years 22 days ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
196
click to vote
IUI
2003
ACM
16 years 22 days ago
2003
ACM
The Stock Tracker is an adaptive recommendation system for trading stocks that automatically acquires content-based models of user preferences to tailor its buy and sell advice. T...