6581 search results - page 1054 / 1317 » Formalizing Design Patterns |
188
click to vote
TSE
2002
15 years 6 months ago
2002
Although there has been recent research into ways to design environments that enable end users to create their own programs, little attention has been given to helping these end u...
177
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
186
click to vote
FAC
2008
15 years 6 months ago
2008
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
171
click to vote
PVLDB
2008
15 years 6 months ago
2008
Keyword search is a user-friendly mechanism for retrieving XML data in web and scientific applications. An intuitively compelling but vaguely defined goal is to identify matches t...
181
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...