79 search results - page 7 / 16 » MiniZinc: Towards a Standard CP Modelling Language |
272
click to vote
ASWSD
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
161
click to vote
ECOWS
2007
Springer
15 years 11 months ago
2007
Springer
Service orientation is the de-facto architectural style, today. But, what actually is a service and how should service boundaries be chosen? Resource orientation, once seen as a â€...
154
click to vote
UML
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
153
click to vote
POLICY
2007
Springer
15 years 11 months ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
158
click to vote
BMCBI
2004
15 years 5 months ago
2004
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...