Sciweavers

1158 search results - page 167 / 232
» Software is discrete mathematics
Sort
View
101
Voted
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 23 days ago
Automatic derivation of domain terms and concept location based on the analysis of the identifiers
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
Peter Václavík, Jaroslav Porubä...
67
Voted
ENTCS
2007
100views more  ENTCS 2007»
15 years 18 days ago
JOLIE: a Java Orchestration Language Interpreter Engine
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, G...
104
Voted
IJCINI
2007
96views more  IJCINI 2007»
15 years 17 days ago
The Theoretical Framework of Cognitive Informatics
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
Yingxu Wang
103
Voted
EWC
2002
86views more  EWC 2002»
15 years 13 days ago
On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
Magne Haveraaen, Hans Z. Munthe-Kaas, Krister &Ari...
106
Voted
SIAMCO
2011
14 years 7 months ago
Internal Stabilization by Noise of the Navier--Stokes Equation
One shows that the Navier-Stokes equation in O⊂Rd, d = 2, 3, around an unstable equilibrium solution is exponentially stabilizable in probability by an internal noise controller...
Viorel Barbu, Giuseppe Da Prato