193 search results - page 20 / 39 » Definition and analysis of composition structures for discre... |
150
click to vote
DOCENG
2006
ACM
15 years 12 months ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
171
Voted
ECBS
2010
IEEE
16 years 25 days ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
154
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
152
click to vote
ARTMED
2004
15 years 5 months ago
2004
Successful secondary structure predictions provide a starting point for direct tertiary structure modelling, and also can significantly improve sequence analysis and sequence-stru...
172
click to vote
TACAS
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...