1760 search results - page 216 / 352 » Program Analysis Using Weighted Pushdown Systems |
170
Voted
DDEP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Our component-based parametrisable font system is a newly developed font description and reproduction technology. It incorporates for each basic character shape a softwar...
171
Voted
JSW
2006
15 years 4 months ago
2006
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
156
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
166
click to vote
CLA
2007
15 years 6 months ago
2007
Formal Concept Analysis is based on the occurrence of symbolic attributes in individual objects, or observations. But, when the attribute is numeric, treatment has been awkward. In...
140
Voted
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider the problem of packetizing a variable length coded Markov sequence into fixed length packets, while being protected by variable rate channel code. Given the total tra...