351 search results - page 18 / 71 » Prototyping a Visual Formalism for System Modelling |
SIBGRAPI
2003
IEEE
14 years 1 months ago
2003
IEEE
We present a system for collaborative conceptual design that allows users potentially located in geographically distant areas to cooperate by sketching, exploring and modifying the...
BMCBI
2006
13 years 8 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
ITRUST
2005
Springer
14 years 2 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Content-based image retrieval (CBIR) systems have been actively investigated over the past decade. Several existing CBIR prototypes claim to be designed based on perceptual charac...
SDL
2007
13 years 10 months ago
2007
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...