100 search results - page 20 / 20 » Specifying Cross-Cutting Requirement Concerns |
CCS
2011
ACM
12 years 5 months ago
2011
ACM
Cloud computing is quickly becoming the platform of choice for many web services. Virtualization is the key underlying technology enabling cloud providers to host services for a l...
IEEESCC
2005
IEEE
13 years 11 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
JCDL
2010
ACM
13 years 10 months ago
2010
ACM
Photo libraries are growing in quantity and size, requiring better support for locating desired photographs. MediaGLOW is an interactive visual workspace designed to address this ...
VLDB
1998
ACM
13 years 9 months ago
1998
ACM
Mining for association rules in market basket data has proved a fruitful areaof research. Measures such as conditional probability (confidence) and correlation have been used to i...
TVLSI
2008
13 years 5 months ago
2008
Lifetime concerns for complex systems-on-a-chip (SoC) designs due to decreasing levels in reliability motivate the development of solutions to ensure reliable operation. A precurso...