7557 search results - page 157 / 1512 » Modeling Timed Concurrent Systems |
123
click to vote
FOCS
2000
IEEE
15 years 9 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
149
click to vote
SAC
2003
ACM
15 years 10 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
154
click to vote
KDD
2004
ACM
16 years 5 months ago
2004
ACM
Web recommender systems anticipate the information needs of on-line users and provide them with recommendations to facilitate and personalize their navigation. There are many appro...
139
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
139
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...