12766 search results - page 125 / 2554 » collective |
126
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
The widespread use of mobile and wireless computing platforms is leading to a growing interest on dependability issues. Several research studies have been conducted on dependabili...
108
click to vote
DIS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Waka is a form of traditional Japanese poetry with a 1300year history. In this paper, we attempt to discover characteristics common to a collection of waka poems. As a fo...
120
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
Heap allocation with copying garbage collection is believed to have poormemory subsystem performance. We conducted a studyofthememory subsystem performance of heap allocation for ...
132
click to vote
FSKD
2006
Springer
15 years 8 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...
113
click to vote
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...