Sciweavers

4211 search results - page 170 / 843
» A formal approach to MASQ
Sort
View
ECBS
2003
IEEE
146views Hardware» more  ECBS 2003»
15 years 12 months ago
Architecture-Based Design of Computer Based Systems
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
Mark Denford, Tim O'Neill, John Leaney
AOSE
2006
Springer
15 years 10 months ago
Modeling Mental States in the Analysis of Multiagent Systems Requirements
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
Alexei Lapouchnian, Yves Lespérance
COSIT
2005
Springer
131views GIS» more  COSIT 2005»
16 years 2 days ago
Structural Salience of Landmarks for Route Directions
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
Alexander Klippel, Stephan Winter
ECAL
2003
Springer
15 years 11 months ago
Representation of Genotype and Phenotype in a Coherent Framework Based on Extended L-Systems
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
Ole Kniemeyer, Gerhard H. Buck-Sorlin, Winfried Ku...
SDL
2007
171views Hardware» more  SDL 2007»
15 years 8 months ago
Model Driven Development and Code Generation: An Automotive Case Study
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
Michele Banci, Alessandro Fantechi, Stefania Gnesi...