Sciweavers

15253 search results - page 2499 / 3051
» Integer-Programming Software Systems
Sort
View
CORR
2010
Springer
81views Education» more  CORR 2010»
15 years 7 months ago
Using machine learning to make constraint solver implementation decisions
Programs to solve so-called constraint problems are complex pieces of software which require many design decisions to be made more or less arbitrarily by the implementer. These dec...
Lars Kotthoff, Ian P. Gent, Ian Miguel
ENTCS
2010
82views more  ENTCS 2010»
15 years 7 months ago
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
Philip Mayer, Andreas Schroeder, Sebastian S. Baue...
174
Voted
ECEASST
2008
77views more  ECEASST 2008»
15 years 7 months ago
Using OCL in Executable UML
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
Ke Jiang, Lei Zhang, Shigeru Miyake
AIS
2006
Springer
15 years 7 months ago
Computer vision for artists and designers: pedagogic tools and techniques for novice programmers
Abstract This article attempts to demystify computer vision for novice programmers through a survey of new applications in the arts, system design considerations, and contemporary ...
Golan Levin
IEEESP
2008
136views more  IEEESP 2008»
15 years 7 months ago
The Crutial Way of Critical Infrastructure Protection
Today, critical infrastructures like the power grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other i...
Alysson Neves Bessani, Paulo Sousa, Miguel Correia...
« Prev « First page 2499 / 3051 Last » Next »