4341 search results - page 348 / 869 » Quantitative Model checking |
177
click to vote
CGA
2008
15 years 6 months ago
2008
Mesh simplification and discrete levels of detail (LOD) are wellstudied areas of research in computer graphics. However, until recently, most of the developed algorithms have focu...
183
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
The next-generation social communication medium, teleimmersion, is receiving increasing attention from both the research and industrial communities. It enables interaction between...
197
click to vote
RTAS
2006
IEEE
16 years 23 days ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
224
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
208
Voted
JSS
2010
15 years 1 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...