9974 search results - page 1309 / 1995 » Software Interconnection Models |
241
Voted
CODES
2003
IEEE
16 years 22 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...
211
click to vote
KBSE
2003
IEEE
16 years 21 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...
177
Voted
AOSD
2003
ACM
16 years 20 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...
225
Voted
IUI
2003
ACM
16 years 20 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 20 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...