Sciweavers

4919 search results - page 496 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
UML
2005
Springer
16 years 10 days ago
Bridging Grammarware and Modelware
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
Manuel Wimmer, Gerhard Kramler
PE
2010
Springer
123views Optimization» more  PE 2010»
15 years 1 months ago
Evaluating fluid semantics for passive stochastic process algebra cooperation
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
Richard A. Hayden, Jeremy T. Bradley
SIAMIS
2011
14 years 9 months ago
Level Set Based Multispectral Segmentation with Corners
In this paper we propose an active contour model for segmentation based on the Chan-Vese model. The new model can capture inherent sharp features, i.e., the sharp corners of object...
Wenhua Gao, Andrea L. Bertozzi
ARCS
2004
Springer
16 years 8 days ago
Modelling Cryptonite - On the Design of a Programmable High-Performance Crypto Processor
: Cryptographic algorithms – even when designed for easy implementability on general purpose architectures – still show a huge performance gap between implementations in softwa...
Rainer Buchty
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 10 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...