3028 search results - page 432 / 606 » Integrating Temporal Logics |
138
click to vote
VEE
2005
ACM
15 years 10 months ago
2005
ACM
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...
174
Voted
ARGMAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
122
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The number of embedded systems is increasing and a remarkable percentage is designed as mobile applications. For the latter, the energy consumption is a limiting factor because of...
138
Voted
ISMVL
2000
IEEE
15 years 9 months ago
2000
IEEE
We have developed two novel methods of fabricating very small Si single-electron transistors (SETs), called PAtternDependent OXidation (PADOX) and Vertical PAttern-Dependent OXida...
116
click to vote
ITC
2000
IEEE
15 years 9 months ago
2000
IEEE
Concurrent error detection (CED) techniques (based on hardware duplication, parity codes, etc.) are widely used to enhance system dependability. All CED techniques introduce some ...