24 search results - page 5 / 5 » A Formal View of Social Dependence Networks |
ICECCS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...
ICDE
2007
IEEE
14 years 7 months ago
2007
IEEE
Entity matching (a.k.a. record linkage) plays a crucial role in integrating multiple data sources, and numerous matching solutions have been developed. However, the solutions have...
RE
2006
Springer
13 years 5 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
DSN
2002
IEEE
13 years 10 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...