Jimali Software Engineering

One of the most important properties of a good software engineering process and of the design of the software it produces is robustness to changing requirements. Scenario-based analysis is a popular method for improving the flexibility of software architectures. This paper demonstrates a search-based technique for automating scenario-based analysis in the software architecture deployment view. Specifically, a novel parallel simulated annealing search algorithm is applied to the real-time task allocation problem to find baseline solutions which require a minimal number of changes in order to meet the requirements of potential upgrade scenarios. Another simulated annealing based search is used for finding a solution which is similar to an existing baseline when new requirements arise. Solutions generated using a variety of scenarios are judged by how well they respond to different system requirements changes. The evaluation is performed on a set of problems with a controlled set of different characteristics.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=625fa8183adb697f498b5572a705076fp=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=625fa8183adb697f498b5572a705076fp=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- and continuous-time Markov chains in order to compute counterexamples for the violation of PCTL or CSL properties. Directed explicit state space search algorithms explore the state space on-the-fly which makes our method very efficient and highly scalable. They can also be guided using heuristics which usually improve the performance of the method. Counterexamples provided by our method have two important properties. First, they include those traces which contribute the most amount of probability to the property violation. Hence, they show the most probable offending execution scenarios of the system. Second, the obtained counterexamples tend to be small. Hence, they can be effectively analyzed by a human user. Both properties make the counterexamples obtained by our method very useful for debugging purposes. We implemented our method based on the stochastic model checker PRISM and applied it to a number of case studies in order to illustrate its applicability.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=2c0446756d14a3810fb364436f82c234p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=2c0446756d14a3810fb364436f82c234p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

IT system architectures and many other kinds of structured artifacts are often described by formal models or informal diagrams. In practice, there are often a number of versions of a model or diagram, such as a series of revisions, divergent variants, or multiple views of a system. Understanding how versions correspond or differ is crucial, and thus automated assistance for matching models and diagrams is essential. We have designed a framework for finding these correspondences automatically based on Bayesian methods. We represent models and diagrams as graphs whose nodes have attributes such as name, type, connections to other nodes, and containment relations, and we have developed probabilistic models for rating the quality of candidate correspondences based on various features of the nodes in the graphs. Given the probabilistic models, we can find high quality correspondences using search algorithms. Preliminary experiments focusing on architectural models suggest that the technique is promising.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=bea493a17e6bcf88d39e86c639d8105fp=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=bea493a17e6bcf88d39e86c639d8105fp=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

The potential of communication networks and middleware to enable the composition of services across organisational boundaries remains incompletely realised. In this paper we argue that this is in part due to outsourcing risks, and describe the possible contribution of Service-Level Agreements (SLAs) to mitigating these risks. For SLAs to be effective, it should be difficult to disregard their original provisions in the event of a dispute between the parties. Properties of understandability, precision and monitorability ensure that the original intent of an SLA can be recovered, and compared to trustworthy accounts of service behaviour to resolve disputes fairly and without ambiguity. We describe the design and evaluation of a domain-specific language for SLAs that tend to exhibit these properties, and discuss the impact of monitorability requirements on service provision practices.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=618b47f20c111ec2785ee3e652d3c355p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=618b47f20c111ec2785ee3e652d3c355p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important information is often not available (e.g., most malware programs make use of secret protocols to communicate) or not directly usable by machines (e.g., many programs specify their inputs in plain text or other random formats). Furthermore, many programs claim they accept inputs with a published format, but their implementations actually support a subset or a variant. Based on the observations that input structure is manifested by the way input symbols are used during execution and most programs take input with top-down or bottom-up grammars, we devise two dynamic analyses, one for each grammar category. Our evaluation on a set of real-world programs shows that our technique is able to precisely reverse engineer input syntactic structure from execution. We apply our technique to hierarchical delta debugging (HDD) and network protocol reverse engineering. Our technique enables the complete automation of HDD, in which programmers were originally required to provide input grammars, and improves the runtime performance of HDD. Our client study on network protocol reverse engineering also shows that our technique supersedes existing techniques.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=ecc46c080d575b4bc3aec72ba99eea1fp=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=ecc46c080d575b4bc3aec72ba99eea1fp=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Voting is the process through which a democratic society determines its government. Therefore, voting systems are as important as other well-known critical systems, such as air traffic control systems or nuclear plant monitors. Unfortunately, voting systems have a history of failures that seems to indicate that their quality is not up to the task. Because of the alarming frequency and impact of these malfunctions, in recent years a number of vulnerability analysis exercises have been carried out against voting systems to determine if their confidentiality, integrity, and availability can be compromised. We have participated in two such large-scale projects, sponsored by the Secretaries of State of California and Ohio, in which the electronic voting machines used in those two states were tested. In our testing, we identified major flaws and implemented a number of attacks, which allowed us to take complete control of the examined voting systems. As a result of these evaluations, the Secretaries of State recommended changes to improve the security of the voting process. In this paper, we describe the methodology that we used in testing the two real-world electronic voting systems we evaluated, the findings of our analysis, our system-wide attacks, and the lessons we learned.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=987e41b1015f7e089ad7e1f65d03da36p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=987e41b1015f7e089ad7e1f65d03da36p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Metaheuristic search techniques have been extensively used to automate the process of generating test cases and thus providing solutions for a more cost-effective testing process. This approach to test automation, often coined as #x201C;Search-based Software Testing#x201D; (SBST), has been used for a wide variety of test case generation purposes. Since SBST techniques are heuristic by nature, they must be empirically investigated in terms of how costly and effective they are at reaching their test objectives and whether they scale up to realistic development artifacts. However, approaches to empirically study SBST techniques have shown wide variation in the literature. This paper presents the results of a systematic, comprehensive review that aims at characterizing how empirical studies have been designed to investigate SBST cost-effectiveness and what empirical evidence is available in the literature regarding SBST cost-effectiveness and scalability. We also provide a framework that drives the data collection process of this systematic review and can be the starting point of guidelines on how SBST techniques can be empirically assessed. The intent is to aid future researchers doing empirical studies in SBST by providing an unbiased view of the body of empirical evidence and by guiding them in performing well designed empirical studies.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=3af16a959eaebef52be590b17ebdc638p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=3af16a959eaebef52be590b17ebdc638p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Many architectural languages have been proposed in the last fifteen years, each one with the chief aim of becoming the ideal language for specifying software architectures. What is evident nowadays, instead, is that architectural languages are defined by stakeholder concerns. Capturing all such concerns within a single, narrowly focused notation is impossible. At the same time it is also impractical to define and use a #8220;universal#8221; notation, such as UML. As a result, many domain specific notations for architectural modeling have been proposed, each one focussing on a specific application domain, analysis type, or modeling environment. As a drawback, a proliferation of languages exists, each one with its own specific notation, tools, and domain specificity. No effective interoperability is possible to date. Therefore, if a software architect has to model a concern not supported by his own language/tool, he has to manually transform (and eventually keep aligned) the available architectural specification into the required language/tool. This paper presents DUALLY, an automated framework that allows architectural languages and tools interoperability. Given any number of architectural languages and tools, they can all interoperate thanks to automated model transformation techniques. DUALLY is implemented as an Eclipse plugin.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=e8fe5b88a4455bb7681f104763047513p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=e8fe5b88a4455bb7681f104763047513p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engineers to carry out changes. We propose three contributions to the research field related to code and design smells: (1) DECOR, a method that embodies and defines all the steps necessary for the specification and detection of code and design smells; (2) DETEX, a detection technique that instantiates this method; and (3) an empirical validation in terms of precision and recall of DETEX. The originality of DETEX stems from the ability for software engineers to specify smells at a high-level of abstraction using a consistent vocabulary and domain-specific language for automatically generating detection algorithms. Using DETEX, we specify four well-known design smells: the antipatterns Blob, Functional Decomposition, Spaghetti Code, and Swiss Army Knife, and their 15 underlying code smells, and we automatically generate their detection algorithms. We apply and validate the detection algorithms in terms of precision and recall on XERCES v2.7.0, and discuss the precision of these algorithms on 11 opensource systems.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=f899ed191748f5d915c605410e04cf20p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=f899ed191748f5d915c605410e04cf20p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Prior research has shown that customer reported software faults are often the result of violated dependencies that are not recognized by developers implementing software. Many types of dependencies and corresponding measures have been proposed to help address this problem. The objective of this research is to compare the relative performance of several of these dependency measures as they relate to customer reported defects. Our analysis is based on data collected from two projects from two independent companies. Combined, our data set encompasses eight years of development activity involving 154 developers. The principal contribution of this study is the examination of the relative impact that syntactic, logical and work dependencies have on the failure proneness of a software system. While all dependencies increase the fault proneness, the logical dependencies explained most of the variance in fault proneness, while workflow dependencies had more impact than syntactic dependencies. These results suggest that practices such as re-architecting, guided by the network structure of logical dependencies, holds promise for reducing defects.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=b3b0204312781377c9672cc12ed06dabp=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=b3b0204312781377c9672cc12ed06dabp=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Personality tests in various guises are commonly used in recruitment and career counseling industries. Such tests have also been considered as instruments for predicting the job performance of software professionals both individually and in teams. However, research suggests that other human-related factors, such as motivation, general mental ability, expertise and task complexity also affect performance in general. This paper reports on a study of the impact of the Big Five personality traits on the performance of pair programmers together with the impact of expertise and task complexity. The study involved 196 software professionals in three countries forming 98 pairs. The analysis consisted of a confirmatory part and an exploratory part. The results show that (1) our data does not confirm a meta-analysis-based model of the impact of certain personality traits on performance; and (2) personality traits in general havemodest predictive value on pair programming performance compared with expertise, task complexity, and country. We conclude that more effort should be spent on investigating other performance-related predictors such as expertise, and task complexity, as well as other promising predictors, such as programming skill and learning.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=bd73f3032c4d1ad8328f1532f2b6fef1p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=bd73f3032c4d1ad8328f1532f2b6fef1p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

In some areas of Software Engineering research, there are several metamodels claiming to capture the main issues. Though it is profitable to have variety at the beginning of a research field, after some time the diversity of metamodels becomes an obstacle, for instance to the sharing of results between research groups. To reach consensus and unification of existing metamodels, metamodel-driven software language engineering can be applied. This paper illustrates an application of software language engineering in the agent-oriented software engineering research domain. Here, we introduce a relatively-generic agent-oriented metamodel whose suitability for supporting modelling language development is demonstrated by evaluating it with respect to several existing methodology-specific metamodels. Firstly, the metamodel is constructed by a combination of bottom-up and top-down analysis and best practice. The concepts thus obtained and their relationships are then evaluated by mapping to two agent-oriented metamodels: TAO and Islander. We then refine the metamodel by extending the comparisons with the metamodels implicit or explicit within five more extant agent-oriented approaches: Adelfe, PASSI, Gaia, INGENIAS and Tropos. The resultant FAML metamodel is a potential candidate for future standardization as an important component for engineering an agent modelling language.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=da47ffdf982e74a9f859643558201544p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=da47ffdf982e74a9f859643558201544p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Although domain specific modeling tools have come a long way since the modern era of model-driven development started in the early 90s, and now offer an impressive range of features, there is still significant room for enhancing the flexibility they offer to end users and for combining the advantages of domain-specific and general purpose languages. To do this, however, it is necessary to enhance the way in which the current generation of tools view metamodeling and support the representation of multiple, “ontological” classification levels that often exist in domains. State-of-the-art DSM tools essentially allow users to describe the abstract and concrete syntaxes of a language in the form of metamodels, and to make statements in that language in the form of models. These statements typically convey information in terms of types and instances in the domain (e.g the classes and objects of UML), but not in terms of types of types (i.e. domain metaclasses), and types of types of types and so on, across multiple classification levels. In essence, therefore, while they provide rich, support for linguistic metamodeling, the current generation of tools provide little if any built-in support for modeling “ontological” classification across more than one type/instance level in the subject domain. to be continuedbr clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=39815da982e83280f8076e4253b3cafcp=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=39815da982e83280f8076e4253b3cafcp=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Framework-specific modeling languages (FSMLs) help developers build applications based on object-oriented frameworks. FSMLs model abstractions and rules of a framework's application programming interfaces (APIs) and can express models of how applications use APIs. Such models aid developers in understanding, creating, and evolving application code. We present four exemplar FSMLs and a method for engineering new FSMLs that was created post-mortem by generalizing the experience of building the exemplar languages and by specializing existing approaches to domain analysis, software development, and model and language quality evaluation. The method is driven by the use cases that the FSML under development should support and the evaluation of the FSML is guided by two quality frameworks. The method description provides concrete examples for the engineering steps, outcomes, and challenges. It also provides strategies for making engineering decisions. The presented method and experience are aimed at framework developers and tool builders who are interested in engineering new FSMLs. Furthermore, the method represents a necessary step in the maturation of the FSML approach. Finally, the presented work offers a concrete example of software language engineering and its benefits. FSMLs capture existing domain knowledge in language form and enable application code generation, application code understanding through reverse engineering, and application code evolution through round-trip engineering.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=b2615e2d38fc146266570d2b4a7e833bp=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=b2615e2d38fc146266570d2b4a7e833bp=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

With the emergence of model driven engineering, the creation of domain specific languages (DSL) is becoming a fundamental part of language engineering. The development cost of a DSL should be modest, compared to the cost of developing a general-purpose programming language. Reducing the implementation effort and providing reuse techniques are key aspects for DSL approaches to be really effective. In this paper we present an approach to build embedded domain specific languages applying the principles of model driven engineering (MDE). On the basis of this approach we will tackle reuse of DSLs by defining families of DSLs, addressing reuse both from the DSL developer and user point of views. A family of DSLs will be built up by composing several DSLs, so we will propose composition mechanisms for the abstract syntax, concrete syntax and model transformation levels of a DSL's definition. Finally, we contribute a software framework to support our approach, and we illustrate the paper with a case study to demonstrate its practical applicability.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=84a3abba61ab9c8b50ecc8fd9e200983p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=84a3abba61ab9c8b50ecc8fd9e200983p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Mobile devices are evolving into hubs of content and context information. There have been many research projects showing the potential for new applications for pervasive computing. We aim to support pervasive applications on a wide variety of devices using Web and resource-based smart spaces. We address several issues for adapting a resource-based style of HTTP (REST) for pervasive services to enable easy mashup of applications in this environment. First, for security and access control in heterogeneous, dynamic environments we introduce a flexible access control mechanism on top of OpenID and OAuth. Additionally to support finding resources we use a search engine that can collaborate with existing service and network discovery mechanisms. We also outline how an emerging W3C standard, DCCI, can be used to share information within a device in an interoperable fashion.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=e48e5bd4d5f727994716a5f7cdbcd290p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=e48e5bd4d5f727994716a5f7cdbcd290p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

Real-time arrival information, immediately available on mobile devices, can significantly enhance the usability of public transit systems. The OneBusAway system provides just such information to over 3,300 Seattle-area bus riders per day. We describe a new location-aware native iPhone application for OneBusAway that provides bus stop and arrival information, tailored to the user's current location. We present results from survey and user-study evaluations that demonstrate quicker access to data using the location-aware tool. We also present data for OneBusAway users as a whole that show strikingly positive changes in rider satisfaction, the number of transit trips per week, reduced wait time at the bus stop, and more walking. The positive results hold for users of the location-aware version as well and the data suggests that there may even be further gains.br clear=both style=clear: both;/ br clear=both style=clear: both;/ hr / div style=font-size:xx-small;color:gray;padding-bottom:.5emPresented By:/div diva href=http://ads.pheedo.com/feeds/ht.php?t=camp;i=7c43a1d3c50b4d88b72d760a0f9efa23amp;p=1NEC/a/div table border=0 cellpadding=0 cellspacing=0 trtd valign=topobject id=flashObj width=486 height=412 classid=clsid:D27CDB6E-AE6D-11cf-96B8-444553540000 codebase=http://download.macromedia.com/pub/shockwave/cabs/flash/swflash.cab#version=9,0,47,0param name=movie value=http://c.brightcove.com/services/viewer/federated_f9/34448608001?isVid=1publisherID=1660622131 /param name=bgcolor value=#FFFFFF /param name=flashVars value=@videoPlayer=34442231001playerID=34448608001domain=embed /param name=base value=http://admin.brightcove.com /param name=seamlesstabbing value=false /param name=allowFullScreen value=true /param name=swLiveConnect value=true /param name=allowScriptAccess value=always /embed src=http://c.brightcove.com/services/viewer/federated_f9/34448608001?isVid=1publisherID=1660622131 bgcolor=#FFFFFF flashVars=@videoPlayer=34442231001playerID=34448608001domain=embed base=http://admin.brightcove.com name=flashObj width=300 height=250 seamlesstabbing=false type=application/x-shockwave-flash allowFullScreen=true swLiveConnect=true allowScriptAccess=always pluginspage=http://www.macromedia.com/shockwave/download/index.cgi?P1_Prod_Version=ShockwaveFlashHSPACE=10 align=left //embed/objectbr /a href=http://www.nec.com/global/cases/rms/?cid=bn58 target=_blankimg src=http://images.pheedo.com/g/nec/videologo.png border=0 //a/td/tr trtdnbsp;/td/tr /table div style=font-size:xx-small; padding-top: 1em;span style=border-top: 1px solid br style=display:none/ a href=http://www.pheedo.com/Ads by Pheedo/a /spanimg alt= style=border: 0; height: 1px; width: 1px; border=0 height=1 width=1 src=http://ads.pheedo.com/feeds/ht.php?t=vamp;i=7c43a1d3c50b4d88b72d760a0f9efa23amp;p=1/ img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/br/ /div

Bridging the digital with the physical world is made feasible through a proposed system architecture utilizing recent developments in cooperative beam-forming, RFIC technology and spread-spectrum techniques. In the proposed system, nodes will have to be activated only when they are triggered to send their own data to the fusion centre, without burdening the network with MAC layer collisions and energy-consuming routing algorithms, thus guaranteeing long lifetime cycles. Due to the simplicity of the node architecture that is used to implement the proposed system, the cost, size and energy consumption of the nodes can finally justify the use of the term #x2018;smart dust#x2019;.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=4eb749ac6da28d0bd30f19c436954670p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=4eb749ac6da28d0bd30f19c436954670p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

The HTML standard is an old and text-based format that is designed for narrowband networks. New enhancements to HTML, as well as new formats, are being evaluated. We wish to present a multimedia presentation system, format, and use cases for a wide range of context uses, including Web 3.0 and computer games. The system is compact and enables high performance 2D and 3D graphics. Use cases include in-game heads-up displays, remote playing of games, and 3D authoring for Web 3.0.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=952b9342635fddc75462b8e2592c72acp=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=952b9342635fddc75462b8e2592c72acp=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/

We present BilVideo-7, an MPEG-7 compatible, video indexing and retrieval system that supports complex multimodal queries in a unified framework. An MPEG-7 profile is developed to represent the videos by decomposing them into Shots, Keyframes, Still Regions and Moving Regions. The MPEG-7 compatible XML representations of videos according to this profile are obtained by the MPEG-7 compatible video feature extraction and annotation tool of BilVideo-7, and stored in a native XML database. Users can formulate text-based semantic, color, texture, shape, location, motion and spatio-temporal queries on an intuitive, easy-to-use Visual Query Interface, whose Composite Query Interface can be used to specify very complex queries containing any type and number of video segments with their descriptors. The multi-threaded Query Processing Server parses incoming queries into subqueries and executes each subquery in a separate thread. Then, it fuses subquery results in a bottom-up manner to obtain the final query result. The whole system is unique in that it provides very powerful querying capabilities with a wide range of descriptors and multimodal query processing in an MPEG-7 compatible interoperable environment. We present sample queries to demonstrate the capabilities of the system.br clear=both style=clear: both;/ br clear=both style=clear: both;/ a href=http://ads.pheedo.com/click.phdo?s=690e74b3204ea659736065fd71932de2p=1img alt= style=border: 0; border=0 src=http://ads.pheedo.com/img.phdo?s=690e74b3204ea659736065fd71932de2p=1//a img alt= height=0 width=0 border=0 style=display:none src=http://a.rfihub.com/eus.gif?eui=2225/