Sciweavers

1027 search results - page 116 / 206
» Language Support for Connector Abstractions
Sort
View
OWLED
2008
13 years 10 months ago
Owlgres: A Scalable OWL Reasoner
Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking...
Markus Stocker, Michael Smith
PROCEDIA
2010
281views more  PROCEDIA 2010»
13 years 7 months ago
Introductory computational science using MATLAB and image processing
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
D. Brian Larkins, William Harvey
FM
2009
Springer
190views Formal Methods» more  FM 2009»
14 years 3 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
MODELS
2009
Springer
14 years 3 months ago
Modeling Heterogeneous Points of View with ModHel'X
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...
Frédéric Boulanger, Christophe Jacqu...
REFSQ
2009
Springer
14 years 3 months ago
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yv...