247 search results - page 17 / 50 » Development graphs - Proof management for structured specifi... |
105
click to vote
SIGLEX
1991
15 years 3 months ago
1991
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
111
click to vote
CIKM
2010
Springer
14 years 6 months ago
2010
Springer
Recent advances in data processing have enabled the generation of large and complex graphs. Many researchers have developed techniques to investigate informative structures within...
DAC
2009
ACM
15 years 6 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
ICCCN
2008
IEEE
15 years 6 months ago
2008
IEEE
—Owing to the limited requirement for sensor processing in early networked sensor nodes, embedded software was generally built around the communication stack. Modern sensor nodes...
ESCIENCE
2007
IEEE
15 years 6 months ago
2007
IEEE
Structural biology research places significant demands upon computing and informatics infrastructure. Protein production, crystallization and X-ray data collection require solutio...