16666 search results - page 411 / 3334 » Descriptive and Computational Complexity |
188
click to vote
ENTCS
2011
15 years 1 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to...
167
click to vote
ICFCA
2007
Springer
16 years 1 months ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
172
click to vote
DSS
2007
15 years 6 months ago
2007
This paper develops a methodology for analyzing and predicting the impact category of malicious code, particularly email worms. The current paper develops two frameworks to classi...
182
click to vote
ISORC
2006
IEEE
16 years 26 days ago
2006
IEEE
Embedded real-time systems are becoming increasingly complex due to ever increasing size and functionality so that complexity management is of growing importance, especially in de...
170
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We show that reachability and termination for lossy channel systems is exactly at level Fωω in the Fast-Growing Hierarchy of recursive functions, the first level that dominates...