Sciweavers

3824 search results - page 354 / 765
» Geometry Constructions Language
Sort
View
ECBS
2003
IEEE
105views Hardware» more  ECBS 2003»
15 years 10 months ago
Panel: Extending UML from Software to Systems Engineering
“The Unified Modeling Language (UML) is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a softwareintensive system” [1]. This ...
Stephanie White, Murray Cantor, Sanford Friedentha...
VL
2002
IEEE
105views Visual Languages» more  VL 2002»
15 years 9 months ago
A Visual Framework for Modelling with Heterogeneous Notations
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
Jean Flower, John Howse, John Taylor, Stuart Kent
PADL
2001
Springer
15 years 9 months ago
Interoperability between Bioinformatics Tools: A Logic Programming Approach
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing ...
Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontel...
165
Voted
SEMWEB
2001
Springer
15 years 9 months ago
A semantic model for specifying data-intensive Web applications using WebML
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
Sara Comai, Piero Fraternali
IPPS
2000
IEEE
15 years 9 months ago
Solving Problems on Parallel Computers by Cellular Programming
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...
Domenico Talia