1774 search results - page 279 / 355 » Modeling and implementing software architecture with acme an... |
121
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
Considering a broad definition for service contracts (beyond web services and software, e.g. airline tickets and insurance policies), we tackle the challenges of building a high ...
154
click to vote
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
106
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
140
click to vote
IUI
2003
ACM
15 years 8 months ago
2003
ACM
Current recommender systems, based on collaborative filtering, implement a rather limited model of interaction. These systems intelligently elicit information from a user only dur...
122
click to vote
WOSP
2000
ACM
15 years 7 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...