Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
732
Model-driven Development of Complex Software: A Research Roadmap
- 29th Int. Conf. on Software Engineering
, 2007
"... The term Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and system-atically transformed to concrete implementations. In this paper we give an overview of current research in MDE and discuss some of ..."
Abstract
-
Cited by 207 (22 self)
- Add to MetaCart
The term Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and system-atically transformed to concrete implementations. In this paper we give an overview of current research in MDE and discuss some
Web Service Modeling Ontology
- STANDARD (WSMO - STANDARD), WSMO DELIVERABLE D2 VERSION 1.0 WORKING DRAFT 29 JULY 2004. AVAILABLE: HTTP://WWW.WSMO.ORG/2004/D2/V1.0/20040729
"... The potential to achieve dynamic, scalable and cost-effective marketplaces and eCommerce solutions has driven recent research efforts towards so-called Semantic Web Services, that are enriching Web services with machine-processable semantics. To this end, the Web Service Modeling Ontology (WSMO) pro ..."
Abstract
-
Cited by 270 (23 self)
- Add to MetaCart
The potential to achieve dynamic, scalable and cost-effective marketplaces and eCommerce solutions has driven recent research efforts towards so-called Semantic Web Services, that are enriching Web services with machine-processable semantics. To this end, the Web Service Modeling Ontology (WSMO
Scalable, Graph-based Network Vulnerability Analysis,”
- Proceedings of the 9th ACM Conference on Computer and Communications Security,
, 2002
"... ABSTRACT Even well administered networks are vulnerable to attack. Recent work in network security has focused on the fact that combinations of exploits are the typical means by which an attacker breaks into a network. Researchers have proposed a variety of graph-based algorithms to generate attack ..."
Abstract
-
Cited by 152 (0 self)
- Add to MetaCart
of work uses a modified version of the model checker NuSMV as a powerful inference engine for chaining together network exploits, compactly representing attack graphs, and identifying minimal sets of exploits. However, it is also well known that model checkers suffer from scalability problems
Towards scalable information modeling of requirements architectures
"... Abstract. The amount of data in large-scale software engineering contexts continues to grow and challenges efficiency of software engineering efforts. At the same time, information related to requirements plays a vital role in the success of software products and projects. To face the current chall ..."
Abstract
- Add to MetaCart
challenges in software engineering information management, software companies need to reconsider the current models of information. In this paper, we present a modeling framework for requirements artifacts dedicated to a large-scale market-driven requirements engineering context. The underlying meta-model
Towards Scalability in Tuple Spaces
- In Proceedings of the 2002 Symposium on Applied Computing
, 2002
"... Applications in eCommerce and Ubiquitous Computing ask for coordination of highly distributed and heterogenous data sources and services. Tuple spaces offer a data-driven coordination model, hence they may be used for this purpose. However, research on distributed tuple spaces has not resolved yet h ..."
Abstract
-
Cited by 12 (2 self)
- Add to MetaCart
Applications in eCommerce and Ubiquitous Computing ask for coordination of highly distributed and heterogenous data sources and services. Tuple spaces offer a data-driven coordination model, hence they may be used for this purpose. However, research on distributed tuple spaces has not resolved yet
QOS WITH RELIABILITY AND SCALABILITY IN ADAPTIVE SERVICE-BASED SYSTEMS
"... Service-based systems that are dynamically composed at runtime to provide complex, adaptive functionality are currently one of the main development paradigms in software engineering. However, the Quality of Service (QoS) delivered by these systems remains an important concern, and needs to be manage ..."
Abstract
- Add to MetaCart
Service-based systems that are dynamically composed at runtime to provide complex, adaptive functionality are currently one of the main development paradigms in software engineering. However, the Quality of Service (QoS) delivered by these systems remains an important concern, and needs
Towards Precise and Scalable Verification of Embedded Software
"... Abstract — Inspired by the success of model checking in hardware verification and protocol analysis, there has been growing interest in research and development of tools for the automated verification of software. This paper provides an overview of our efforts towards achieving precise and scalable ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
Abstract — Inspired by the success of model checking in hardware verification and protocol analysis, there has been growing interest in research and development of tools for the automated verification of software. This paper provides an overview of our efforts towards achieving precise and scalable
Towards Agent-Oriented Model Driven Engineering
"... Abstract. This work gathers the experience of two different research groups that developed the agent-oriented methodologies INGENIAS and ADELFE. The par-ticular features of the agent paradigm makes that the application of MDE ap-proaches to it has to consider certain issues that are not common in ma ..."
Abstract
- Add to MetaCart
in mainstream Software Engineering. In particular, MAS methodologies usually consider sev-eral abstraction levels and perspectives, producing a richer modelling than for instance object-oriented approaches. Besides, the agent research is still object of important evolution with changing and growing conceptual
M.: Multi-Model, Metadata Driven Approach to Adaptive Hypermedia Services for Personalized eLearning
- Proceedings of the 2nd International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems (AH'02
, 2002
"... Abstract. One of the major obstacles in developing quality eLearning content is the substantial development costs involved and development time required [12]. Educational providers, such as those in the university sector and corporate learning, are under increasing pressure to enhance the pedagogica ..."
Abstract
-
Cited by 95 (26 self)
- Add to MetaCart
. This paper proposes an innovative multi-model approach to the dynamic composition and delivery of personalized learning utilizing reusable learning objects. The paper describes an adaptive metadata driven engine that composes, at runtime, tailored educational experiences across a single content base
Author manuscript, published in "First International Workshop on Model-Driven Engineering on and for the Cloud (2012)" Transforming Very Large Models in the Cloud: a Research Roadmap
, 2012
"... Abstract. Model transformations are widely used by Model-Driven Engineering (MDE) platforms to apply different kinds of operations over models, such as model translation, evolution or composition. However, existing solutions are not designed to handle very large models (VLMs), thus facing scalabilit ..."
Abstract
- Add to MetaCart
Abstract. Model transformations are widely used by Model-Driven Engineering (MDE) platforms to apply different kinds of operations over models, such as model translation, evolution or composition. However, existing solutions are not designed to handle very large models (VLMs), thus facing
Results 1 - 10
of
732
