2940 search results - page 313 / 588 » Relational Parametricity and Control |
192
click to vote
SDMW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
130
click to vote
ASYNC
2003
IEEE
15 years 12 months ago
2003
IEEE
High-speed asynchronous ripple FIFOs may be easily embedded in synchronous environments and can elegantly handle the problem of forwarding data between clock domains. In cases whe...
158
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Several protocols for ad hoc network try to reduce redundancy as an effective measure against broadcast problems. Though these protocols ensure good performance in a fav...
179
click to vote
WEBDB
2010
Springer
15 years 11 months ago
2010
Springer
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
164
click to vote
HASE
2002
IEEE
15 years 11 months ago
2002
IEEE
Web services received significant attention recently and several important web service platforms such as .NET are now available. The testing and evaluation of web services are imp...