2293 search results - page 192 / 459 » Temporal Logic in Information Systems |
181
click to vote
SPIN
2007
Springer
16 years 26 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
176
click to vote
APCCM
2006
15 years 8 months ago
2006
Data Warehouses (DWs) use an omnipresent time dimension for keeping track of changes in measure values. However, this dimension cannot be used to model changes in other dimensions...
224
click to vote
ACSW
2003
15 years 8 months ago
2003
Pervasive systems require context awareness in order to be able to provide “anywhere, anytime” computing to mobile users. One type of context information is location informati...
165
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--In this paper, the Multiprocessor Bandwidth Inheritance (M-BWI) protocol is presented, which constitutes an extension of the Bandwidth Inheritance (BWI) protocol to symme...
164
click to vote
EPIA
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...