827 search results - page 120 / 166 » Patterns for Timed Property Specifications |
135
click to vote
TDSC
2010
14 years 8 months ago
2010
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Edge services allow clients to access Internet service...
135
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
114
Voted
ENTCS
2006
15 years 2 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
119
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
: Over the years, many design methodologies/tools and layout architectures have been developed for datapath-oriented designs. One commonly used approach for high-speed datapath des...
135
Voted
WWW
2007
ACM
16 years 2 months ago
2007
ACM
Social networking services are a fast-growing business in the Internet. However, it is unknown if online relationships and their growth patterns are the same as in real-life socia...