Sciweavers

1240 search results - page 193 / 248
» Automatic 3D Modelling of Architecture
Sort
View
ATAL
2009
Springer
14 years 3 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
ASE
2005
102views more  ASE 2005»
13 years 8 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
ISCC
2003
IEEE
153views Communications» more  ISCC 2003»
14 years 2 months ago
An Object-Based MPEG-4 Multimedia Content Classification Model for IP QoS Differentiation
In this article, we investigate efficient transmission of Object-based MPEG-4 video over IP networks with QoS management capabilities. MPEG-4 Audio Visual Objects (AVOs) are class...
Toufik Ahmed, Abdelhamid Nafaa, Ahmed Mehaoua
ICWE
2004
Springer
14 years 2 months ago
Representing XML Schema in UML - A Comparison of Approaches
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...
Martin Bernauer, Gerti Kappel, Gerhard Kramler
SOSYM
2008
87views more  SOSYM 2008»
13 years 8 months ago
Model driven design and aspect weaving
Amodelisasimplifiedrepresentationofanaspect of the world for a specific purpose. In complex systems, many aspects are to be handled, from architectural aspects to dynamic behavior,...
Jean-Marc Jézéquel