2373 search results - page 135 / 475 » The Design of the Zinc Modelling Language |
162
click to vote
CP
2007
Springer
16 years 14 days ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...
174
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
258
click to vote
IHI
2012
14 years 1 months ago
2012
We present a novel software tool called CDN (Collaborative Data Network) for large-scale sharing and querying of clinical documents modeled using HL7 v3 standard (e.g., Clinical D...
182
click to vote
APSEC
2005
IEEE
15 years 12 months ago
2005
IEEE
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...
144
Voted
MODELS
2009
Springer
16 years 25 days ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...