5550 search results - page 382 / 1110 » Different Approaches to Proof Systems |
198
click to vote
ACSD
2006
IEEE
16 years 28 days ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
232
click to vote
ICDIM
2006
IEEE
16 years 27 days ago
2006
IEEE
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
164
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
Validating distributed systems is particularly difficult, since failures may occur due to a correlated occurrence of faults in different parts of the system. This paper describes ...
230
click to vote
ECRTS
2010
IEEE
15 years 8 months ago
2010
IEEE
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...
198
click to vote
EJIS
2007
15 years 6 months ago
2007
e-Government systems differ from commercial information systems (IS) in that they frequently encompass strategic goals that go beyond efficiency, effectiveness and economy, and in...