5451 search results - page 392 / 1091 » Typed Operational Semantics |
184
click to vote
GI
2007
Springer
16 years 14 days ago
2007
Springer
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
139
click to vote
COMAD
2008
15 years 7 months ago
2008
A read-only transaction (ROT) does not modify any data. Efforts are being made in the literature to improve the performance of ROTs without correctness and data currency issues. T...
161
click to vote
AUSAI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the f...
176
click to vote
ISMIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Subsystem based generalizations of rough set approximations are investigated. Instead of using an equivalence relation, an arbitrary binary relation is used to construct ...
128
click to vote
B
1998
Springer
15 years 10 months ago
1998
Springer
Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...