Sciweavers

43 search results - page 6 / 9
» Bridging the Gap Between SysML and Design Space Exploration
Sort
View
CHI
2005
ACM
14 years 8 months ago
TRIBA: a cable television retrieval & awareness system
This paper discusses the design of a physical and digital system intended to allow for easy manipulation and interaction with the tremendous amount of options present in advanced ...
Michael Tseng, Jon Kolko
MODELS
2009
Springer
14 years 18 days ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
STTT
2008
103views more  STTT 2008»
13 years 8 months ago
Model-based development of a course of action scheduling tool
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
Lars Michael Kristensen, Peter Mechlenborg, Lin Zh...
MAM
2006
101views more  MAM 2006»
13 years 8 months ago
EPICURE: A partitioning and co-design framework for reconfigurable computing
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
Jean-Philippe Diguet, Guy Gogniat, Jean Luc Philip...
BMCBI
2006
89views more  BMCBI 2006»
13 years 8 months ago
ORENZA: a web resource for studying ORphan ENZyme activities
Background: Despite the current availability of several hundreds of thousands of amino acid sequences, more than 36% of the enzyme activities (EC numbers) defined by the Nomenclat...
Olivier Lespinet, Bernard Labedan