2272 search results - page 254 / 455 » Capture Complexity by Partition |
159
click to vote
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
122
Voted
DNA
2006
Springer
15 years 5 months ago
2006
Springer
Recent successes in building large scale DNA nanostructures and in constructing DNA nanomechanical devices have inspired scientists to design more complex nanoscale systems. The de...
130
Voted
ACL
2007
15 years 5 months ago
2007
This paper presents a method for the automatic generation of a table-of-contents. This type of summary could serve as an effective navigation tool for accessing information in lon...
97
Voted
COLING
2008
15 years 5 months ago
2008
Various types of structural information e.g., about the type of constructions in which binding constraints apply, or about the structure of names - play a central role in corefere...
121
Voted
IMECS
2007
15 years 5 months ago
2007
—Workload characterisation and generation is becoming an increasingly important area as hardware and application complexities continue to advance. In this paper, we introduce a c...