Sciweavers

3481 search results - page 448 / 697
» Architecture as Object Models of Software
Sort
View
KBSE
2007
IEEE
15 years 10 months ago
Scalable automatic test data generation from modeling diagrams
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
Yannis Smaragdakis, Christoph Csallner, Ranjith Su...
COOPIS
2002
IEEE
15 years 9 months ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
SIGMETRICS
2008
ACM
140views Hardware» more  SIGMETRICS 2008»
15 years 4 months ago
Scalable VPN routing via relaying
Enterprise customers are increasingly adopting MPLS (Multiprotocol Label Switching) VPN (Virtual Private Network) service that offers direct any-to-any reachability among the cust...
Changhoon Kim, Alexandre Gerber, Carsten Lund, Dan...
CORR
2007
Springer
109views Education» more  CORR 2007»
15 years 4 months ago
Optimal Causal Inference
We consider an information-theoretic objective function for statistical modeling of time series that embodies a parametrized trade-off between the predictive power of a model and...
Susanne Still, James P. Crutchfield, Christopher J...
WWW
2006
ACM
16 years 5 months ago
Model-based version and configuration management for a web engineering lifecycle
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...
Tien Nhut Nguyen