4693 search results - page 373 / 939 » Verifying Hybrid Systems |
171
Voted
WETICE
2005
IEEE
16 years 11 days ago
2005
IEEE
Since there is no method to verify the trustworthiness of shared files in P2P systems, malicious peers can spread untrustworthy files to the system. In order to prevent untrustw...
193
click to vote
IBERAMIA
2004
Springer
16 years 5 days ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
191
click to vote
ACSD
2003
IEEE
16 years 2 days ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
175
click to vote
ICALT
2003
IEEE
16 years 2 days ago
2003
IEEE
Students often turn to their peers for help in order to learn a new concept or lesson introduced by a teacher in class. This establishes roles of tutor and learner between student...
191
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
All synchronous CMOS integrated systems have to pay some sequencing overhead. This overhead includes the skew and the jitter of the clock. It also includes the setup time and the ...