13489 search results - page 323 / 2698 » Self-migration of operating systems |
168
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...
192
click to vote
RITA
2000
15 years 6 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
186
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
: Collaborative and dynamic workflow management systems in logistic companies require strong information systems and computer support. Business processes in such industries general...
197
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
—Cooperative communications leverages the spatial diversity available in a wireless network enabling multiple radio nodes work together to improve the overall system performance....
148
click to vote
ARITH
1995
IEEE
15 years 10 months ago
1995
IEEE
—We present a new class of number systems, called Semi-Logarithmic Number Systems, that constitute a family of various compromises between floating-point and logarithmic number s...