1174 search results - page 175 / 235 » A Logical Approach to Abstract Algebra |
125
click to vote
FORTE
2010
15 years 5 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
104
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
100
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
120
Voted
ICWS
2009
IEEE
16 years 19 days ago
2009
IEEE
Abstract—Several approaches have been proposed to introduce self-management capabilities for web service compositions. However, most of these works are limited as they are not ex...
112
Voted
PLPV
2010
ACM
16 years 11 days ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...