1953 search results - page 170 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
152
Voted
TACS
1994
Springer
15 years 9 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...
119
Voted
HICSS
2005
IEEE
15 years 10 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...
179
click to vote
AI
1999
Springer
15 years 4 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...
149
click to vote
FDL
2011
IEEE
14 years 4 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...
124
click to vote
GLOBECOM
2007
IEEE
15 years 11 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 ...