4693 search results - page 741 / 939 » Verifying Hybrid Systems |
158
click to vote
APNOMS
2006
Springer
15 years 9 months ago
2006
Springer
Many researches on context aware computing are carried out around the world. Among them, Context-Toolkit and Semantic Space provide separation of concerns between sensor and applic...
159
click to vote
ASIACRYPT
2006
Springer
15 years 9 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
214
click to vote
COMPSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
186
click to vote
DAC
2004
ACM
15 years 9 months ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...
173
click to vote
ACNS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Several researchers have proposed the use of threshold cryptographic model to enable secure communication in ad hoc networks without the need of a trusted center. In this...