1255 search results - page 176 / 251 » A Proof Environment for the Development of Group Communicati... |
BMCBI
2010
13 years 9 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
FPL
2008
Springer
13 years 10 months ago
2008
Springer
An example of an FPGA based application for a high-energy physics experiment is presented which features all facets of modern FPGA design. The special requirements here are high b...
JUCS
2006
13 years 9 months ago
2006
: To many people, home is a sanctuary. For those people who need special medical care, they may need to be pulled out of their home to meet their medical needs. As the population a...
PERVASIVE
2006
Springer
13 years 9 months ago
2006
Springer
Although numerous context-aware applications have been developed and there have been technological advances for acquiring contextual information, it is still difficult to develop a...