589 search results - page 2 / 118 » Introducing Dynamic Constraints in B |
121
Voted
MONET
2006
14 years 11 months ago
2006
The radio frequency spectrum is a naturally limited resource of extraordinary value, as the key to the provision of important communication and information services. Traditionally,...
ICDAR
2009
IEEE
14 years 9 months ago
2009
IEEE
In order to reduce the rejection rate of our automatic reading system, we propose to pre-classify the business documents by introducing an Automatic Recognition of Documents stage...
ISQED
2008
IEEE
15 years 6 months ago
2008
IEEE
We propose a novel dependable SRAM with 7T memory cells, and introduce a new concept, “quality of a bit (QoB)” for it. The proposed SRAM has three modes: a typical mode, high-...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
COORDINATION
2000
Springer
15 years 4 months ago
2000
Springer
Distributed information systems for decision-support, logistics, and e-commerce involve coordination of autonomous information resources and clients according to specific domain in...