4211 search results - page 271 / 843 » A formal approach to MASQ |
182
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
185
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...
153
click to vote
SYNASC
2005
IEEE
16 years 8 days ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
176
click to vote
ARGMAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
199
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, r...