1980 search results - page 292 / 396 » Compositional Model Checking of Real Time Systems |
113
click to vote
VIIP
2001
15 years 4 months ago
2001
Most of the previous multiresolution models use exclusively the triangle graphic primitive both in the data structure and in the rendering stage. Only a few models use another gra...
115
click to vote
JSW
2007
15 years 3 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
118
click to vote
SIGGRAPH
2000
ACM
15 years 7 months ago
2000
ACM
We describe a system for non-photorealistic rendering (NPR) of virtual environments. In real time, it synthesizes imagery of architectural interiors using stroke-based textures. W...
118
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
124
click to vote
ICDM
2006
IEEE
15 years 9 months ago
2006
IEEE
Many previous works of data mining user queries in Peer-to-Peer systems focused their attention on the distribution of query contents. However, few has been done towards a better ...