3618 search results - page 333 / 724 » Additive functions for number systems in function fields |
169
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
189
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
Design of gracefully degrading systems, where functionality is gradually reduced in the face of faults, has traditionally been a very difficult and error-prone task. General appro...
186
click to vote
WCRE
2006
IEEE
16 years 24 days ago
2006
IEEE
Most approaches in reverse engineering literature generate a single view of a software system that restricts the scope of the reconstruction process. We propose an orchestrated se...
194
click to vote
TAICPART
2010
IEEE
15 years 5 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
196
click to vote
ISSA
2004
15 years 8 months ago
2004
Nearly all present-day commercial intrusion detection systems are based on a hierarchical architecture. Nodes at the bottom of the hierarchy collect information, which is passed t...