Sciweavers

2834 search results - page 323 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
ECLIPSE
2006
ACM
15 years 10 months ago
A toolsuite for the verification of real-time systems in Eclipse
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
Lucía Cavatorta, Guido de Caso, André...
ACSW
2007
15 years 8 months ago
The Semantic Reef: Managing Complex Knowledge to Predict Coral Bleaching on the Great Barrier Reef
A semantically driven Virtual Organisation (VO) model for predicting important events for coral reefs is presented – the Semantic Reef. The model is an application of a Semantic...
Trina S. Myers, Ian M. Atkinson, William J. Lavery
ISTA
2007
15 years 8 months ago
Knowledge-Oriented Approach to the Main Pipeline Complex Dispatching Control
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...
O. Ye. Fedorovich, A. V. Prokhorov, K. V. Golovan
TVLSI
2008
152views more  TVLSI 2008»
15 years 6 months ago
MMV: A Metamodeling Based Microprocessor Validation Environment
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Di...
WSC
2007
15 years 9 months ago
A co-design modeling approach for computer network systems
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
Weilong Hu, Hessam S. Sarjoughian