15777 search results - page 2971 / 3156 » The Reformulation-Optimization Software Engine |
215
Voted
AMAI
2011
Springer
14 years 3 months ago
2011
Springer
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
136
click to vote
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
160
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
133
Voted
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
A growing number of applications are built on top of search engines and issue complex structured queries. This paper contributes a customisable ranking-based processing of such qu...
119
Voted
BIRTHDAY
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...