Titlebook: SOFSEM 2014: Theory and Practice of Computer Science; 40th International C Viliam Geffert,Bart Preneel,A Min Tjoa Conference proceedings 20

FUSC

Open Services for Software Process Compliance Engineeringt budget and deadline constraints. Open Services for Lifecycle Collaboration (OSLC) is the emerging initiative inspired by the web which is currently at the technology trigger stage along its hype cycle with the potential to have a determining impact on the future of Software Process Compliance Engineering.

词根词缀法

异教徒

冥想后

Error-Pruning in Interface Automata-free, we consider the coarsest precongruence for parallel composition respecting the basic requirement. We find that pruning proves to be relevant in all cases; we also point out an error in an early paper by de Alfaro and Henzinger.

推崇

Matching of Images of Non-planar Objects with View Synthesiss lower than for planar objects matching. The best detector for matching images of 3D objects is the Hessian-Affine in the . configuration. The iterative MODS matcher performs comparably confirming it is a robust, generic method for two view matching that performs well for different types of scenes and a wide range of viewing conditions.

MELD

affinity

Goal-Based Establishment of an Information Security Management System Compliant to ISO 27001 requirements engineering methods have been used to elicit and analyse security requirements for building software. In this paper, we propose a goal-based security requirements engineering method for creating an ISMS compliant to ISO 27001. We illustrate our method via a smart grid example.

FIN

Exact Algorithms to Clique-Colour Graphsme inclusion-exclusion algorithm to compute ..(.) exactly, and a branching algorithm to decide whether a graph of bounded clique-size admits a 2-clique-colouring which runs in time ..(..) for some . < 2.

意外

Supporting Non-functional Requirements in Services Software Development Process: An MDD Approachtform Specific Models; and . rules to transform Platform Specific Models into concrete implementations. In order to illustrate our proposal, the paper also describes how to apply the methodology to develop a proof of concept.

连词