4211 search results - page 132 / 843 » A formal approach to MASQ |
119
Voted
ATAL
2011
Springer
14 years 24 days ago
2011
Springer
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...
91
Voted
CAISE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
112
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
103
click to vote
B
1998
Springer
15 years 5 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
95
Voted
DEON
2008
Springer
15 years 2 months ago
2008
Springer
The paper proposes a formal analysis of the ascriptive view of norms as resulting from pulling together Anderson's reductionist approach, the analysis of counts-as, and a nove...