Sciweavers

421 search results - page 58 / 85
» Abstract Interpretation of PEPA Models
Sort
View
69
Voted
ASWEC
2007
IEEE
15 years 5 months ago
Supporting OO Design Heuristics
Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purpose...
Neville Churcher, Sarah Frater, Cong Phuoc Huynh, ...
77
Voted
ICAISC
2010
Springer
15 years 3 months ago
Persistent Activation Blobs in Spiking Neural Networks with Mexican Hat Connectivity
Abstract. Short range excitation, long range inhibition sometimes referred to as mexican hat connectivity seems to play important role in organization of the cortex, leading to fai...
Filip Piekniewski
87
Voted
VVEIS
2007
15 years 2 days ago
UML-driven Information Systems and their Formal Integration Validation and Distribution
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
Nasreddine Aoumeur, Gunter Saake
IWSSD
1993
IEEE
15 years 3 months ago
Fine-Grain Process Modelling
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer
108
Voted
CATA
2001
15 years 9 days ago
Object-oriented image database model
: In this paper we analyze some existing tools and approaches to image data modeling and we propose an Object-Oriented Image Data (OOID) model. It can be applied on a wide variety ...
William I. Grosky, Peter L. Stanchev