1346 search results - page 186 / 270 » Alternating-time dynamic logic |
238
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
In modern SoCs, embedded memories occupy the largest part of the chip area and include an even larger amount of active devices. As memories are designed very tightly to the limits...
188
click to vote
FASE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
153
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
162
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
212
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...