3865 search results - page 484 / 773 » From Bidirectionality to Alternation |
150
click to vote
AOSD
2003
ACM
15 years 12 months 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...
185
click to vote
WPES
2003
ACM
15 years 12 months ago
2003
ACM
The idea of using user preferences to assist with information filtering and with providing the most “relevant” answers to queries has recently received some attention from th...
311
click to vote
AIME
2003
Springer
15 years 12 months ago
2003
Springer
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...
196
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
171
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...