2293 search results - page 245 / 459 » Temporal Logic in Information Systems |
200
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
176
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The approach of continuous evaluation is an important tool in the learning process. However, only recently it was applied in training based on virtual reality. This paper presents ...
180
click to vote
DANTE
1999
IEEE
15 years 11 months ago
1999
IEEE
Because performance is a crucial issue in database systems, data caching techniques have been studied in database research field, especially in client-server databases and distrib...
161
click to vote
ICDCSW
2006
IEEE
16 years 21 days ago
2006
IEEE
Peer-to-peer (P2P) systems are based upon the cooperative interactions of member peers. Typically, peers are both autonomous and self-interested, meaning that there is no hierarch...
181
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
In this paper, we propose to develop the supervised classification method Fuzzy Pattern Matching to be in addition a non supervised one. The goal is to monitor dynamic systems with...