2036 search results - page 114 / 408 » A generic type-and-effect system |
253
click to vote
WAC
2004
Springer
16 years 5 days ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
180
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
151
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
210
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. We propose a new adaptive algorithm for the exact simultaneous resolution of several triangular systems over finite fields: it is composed of several practicable variants...
167
click to vote
IMSA
2001
15 years 8 months ago
2001
This paper deals with the coupling of AROM, an objectbased knowledge representation with V-STORM, a multimedia presentation system. We propose an AROM knowledge base which constit...