Sciweavers

6040 search results - page 257 / 1208
» Generating Instance Models from Meta Models
Sort
View
102
Voted
ECBS
2009
IEEE
106views Hardware» more  ECBS 2009»
15 years 7 months ago
Extensibility and Modularity for Model Driven Engineering Environments
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...
Thomas Leveque, Jacky Estublier, Germán Veg...
113
Voted
FMICS
2006
Springer
15 years 4 months ago
Model-Based Testing of a WAP Gateway: An Industrial Case-Study
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
Anders Hessel, Paul Pettersson
AAAI
2004
15 years 1 months ago
Repeated Observation Models
Repetition is an important phenomenon in a variety of domains, such as music, computer programs and architectural drawings. A generative model for these domains should account for...
Avi Pfeffer
CRYPTO
2004
Springer
154views Cryptology» more  CRYPTO 2004»
15 years 5 months ago
An Improved Correlation Attack Against Irregular Clocked and Filtered Keystream Generators
Abstract. In this paper we propose a new key recovery attack on irregular clocked keystream generators where the stream is filtered by a nonlinear Boolean function. We show that t...
Håvard Molland, Tor Helleseth
109
Voted
AAMAS
2000
Springer
15 years 8 days ago
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
Munindar P. Singh