2687 search results - page 350 / 538 » On the Conversion between Number Systems |
147
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
171
click to vote
ICDCS
2000
IEEE
15 years 11 months ago
2000
IEEE
To assure dependable onboard evolution, we have developed a methodology called guarded software upgrading (GSU). In this paper, we focus on a low-cost approach to error containmen...
151
click to vote
COBUILD
1998
Springer
15 years 10 months ago
1998
Springer
Interfaces to information systems, and the buildings in which such systems are embedded will typically be the result of the work of a large number of different disciplines, potenti...
179
click to vote
LCPC
1997
Springer
15 years 10 months ago
1997
Springer
The data distribution problem is very complex, because it involves trade-offdecisions between minimizing communication and maximizing parallelism. A common approach towards solving...
203
click to vote
PODC
1990
ACM
15 years 10 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...