4781 search results - page 330 / 957 » Complexity at large |
215
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
129
click to vote
CSCWD
2009
Springer
15 years 11 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
145
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Many semantic portals use faceted browsing, where the facets are based on the underlying indexing ontologies of the content. However, in many cases, like in medical applications, t...
101
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Person-based indices and timelines can enable fast and non-linear access to recorded meetings. This paper focuses on how to automatically construct those indices and timelines by ...
143
click to vote
GD
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the GEOMI system, a visual analysis tool for the visualisation and analysis of large and complex networks. GEOMI provides a collection of network analysis meth...