29082 search results - page 5307 / 5817 » The Time-Triggered Model of Computation |
188
click to vote
WMASH
2003
ACM
16 years 11 days ago
2003
ACM
Next generation Wireless Local Area Networks (WLAN’s) are likely to require multihop wireless connections between mobile nodes and Internet gateways to achieve high data rates f...
194
click to vote
ASIACRYPT
2003
Springer
16 years 11 days ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
203
click to vote
ASM
2003
ASM
16 years 11 days ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
221
click to vote
ASP
2003
Springer
16 years 11 days ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
182
click to vote
AUSAI
2003
Springer
16 years 11 days ago
2003
Springer
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...