1237 search results - page 243 / 248 » Partitions and the Fermi-Dirac Distribution |
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
CASCON
2007
13 years 11 months ago
2007
The management of non-functional goals, or Service Level Agreements (SLA), in the development of business processes in a Service Oriented Architecture often requires much manual a...
ICMLA
2008
13 years 11 months ago
2008
Laser wakefield particle accelerators have shown the potential to generate electric fields thousands of times higher than those of conventional accelerators. The resulting extreme...
LBM
2007
13 years 11 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
SIROCCO
2008
13 years 11 months ago
2008
The augmented graph model, as introduced by Kleinberg (STOC 2000), is an appealing model for analyzing navigability in social networks. Informally, this model is defined by a pair...