3931 search results - page 486 / 787 » Separation logic and abstraction |
186
click to vote
CF
2010
ACM
16 years 7 days ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
178
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
187
click to vote
JMLC
2000
Springer
15 years 10 months ago
2000
Springer
Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express addition...
151
Voted
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Spreadsheets are one of the most popular end-users programming environment. Although spreadsheets provide an interactive interface for data manipulation and analysis, the...
230
click to vote
ECMDAFA
2008
Springer
15 years 9 months ago
2008
Springer
Human participation in business processes needs to be addressed in process modeling. BPEL4People with WS-HumanTask covers this concern in the context of BPEL. Bound to specific wor...