709 search results - page 18 / 142 » An Equational Theory for Transactions |
FSS
2008
15 years 22 days ago
2008
The paper deals with a solution of a fuzzy interval system of linear equations, i.e. a system in which fuzzy intervals (numbers) appear instead of crisp numbers. We obtain general...
84
Voted
JELIA
1990
Springer
15 years 4 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
99
Voted
LLC
2010
14 years 7 months ago
2010
Models and concepts from biology have informed the study of language change for several centuries. In this article, I take a comparative look across the disciplines of historical ...
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
In many application areas, for example in design or media production processes, several authors have to work cooperatively on the same project. Thereby, a frequently used data for...
113
click to vote
INFOSCALE
2007
ACM
15 years 2 months ago
2007
ACM
— The concept of Cumulated Anomaly (CA), which describes a new type of database anomalies, is addressed. A typical CA intrusion is that when a user who is authorized to modify da...