13618 search results - page 166 / 2724 » The Newton Operating System |
150
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented...
131
click to vote
SMC
2007
IEEE
16 years 24 days ago
2007
IEEE
— Combining both intervals and discrete sets of numbers, this paper presents a definition for an extended grey number model representing both continuous and discrete grey number...
161
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
159
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
Operator mistakes are a significant source of unavailability in modern Internet services. In this paper, we first characterize these mistakes by performing an extensive set of exp...
174
click to vote
JCP
2008
15 years 6 months ago
2008
Complex numbers play a very important role in various applications of electrical and computer engineering. These days, arithmetic operations dealing with these numbers rely on a &q...