Sciweavers

1915 search results - page 41 / 383
» A language for functional interpretation of model based simu...
Sort
View
IFIP
2007
Springer
14 years 3 months ago
Semantic Context Reasoning Using Ontology Based Models
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
Rodrigo Mantovaneli Pessoa, Camilo Zardo Calvi, Jo...
CORR
2010
Springer
106views Education» more  CORR 2010»
13 years 7 months ago
Simulation of Computer Network Attacks
In this work we present a prototype for simulating computer network attacks. Our objective is to simulate large networks (thousands of hosts, with applications and vulnerabilities)...
Carlos Sarraute, Fernando Miranda, José Ign...
GG
2010
Springer
13 years 7 months ago
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulr...
ACMSE
2006
ACM
14 years 27 days ago
Yaccscript: a platform for intersecting high-level languages
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
John Healey
ICRA
2006
IEEE
165views Robotics» more  ICRA 2006»
14 years 3 months ago
Biped Gait Optimization using Spline Function based Probability Model
— A new Estimation of Distribution Algorithm (EDA) with spline kernel function (EDA_S) is proposed to optimize biped gait for a nine-link humanoid robot. Gait synthesis of the bi...
Lingyun Hu, Changjiu Zhou, Zengqi Sun