1953 search results - page 170 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
142
Voted
TACS
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
108
Voted
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Many argue that offshoring is an inexorable trend since IT skills have become a global commodity and they are vastly cheaper in other parts of the world. According to this view, m...
163
Voted
AI
1999
Springer
15 years 3 months ago
1999
Springer
In this paper, we first discuss the meaning of physical embodiment and the complexity of the environment in the context of multi-agent learning. We then propose a vision-based rei...
132
Voted
FDL
2011
IEEE
14 years 3 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
110
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— OFDMA-based IEEE802.16 implements Adaptive Modulation and Coding (AMC) which results in a different bit rate for each user depending on its position in the cell as well as the ...