9015 search results - page 143 / 1803 » Using Structural Computing to Support Information Integratio... |
132
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
119
click to vote
RECOMB
2010
Springer
15 years 10 months ago
2010
Springer
Constructing quantitative dynamic models of signaling pathways is an important task for computational systems biology. Pathway model construction is often an inherently incremental...
128
click to vote
VISSYM
2004
15 years 4 months ago
2004
User interaction plays an integral part in the effective visualization of data and information. Typical interaction operations include navigation, selection, and distortion. A pro...
151
click to vote
IJMSO
2007
15 years 3 months ago
2007
This paper describes work in progress developing a context-aware meeting alert. This application integrates semantic web technology in RDF (for representing calendars), semantic we...
172
click to vote
DSL
2009
15 years 26 days ago
2009
Abstract. Various forms of pervasive computing environments are being deployed in an increasing number of areas including healthcare, home automation, and military. This evolution ...