7961 search results - page 532 / 1593 » Input-Output Model Programs |
150
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A good way to help users finding relevant items on document platforms consists in suggesting content in accordance with their preferences. When implementing such a recom...
191
click to vote
ICECCS
2005
IEEE
16 years 21 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
218
click to vote
ASP
2005
Springer
16 years 19 days ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
140
click to vote
UM
2005
Springer
16 years 17 days ago
2005
Springer
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
177
click to vote
CSL
2004
Springer
16 years 14 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...