Sciweavers

7715 search results - page 440 / 1543
» Visual Rules Modeling
Sort
View
RE
2007
Springer
16 years 1 months ago
Consistency Checking of Conceptual Models via Model Merging
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos...
EDOC
2007
IEEE
16 years 1 months ago
Incorporating Security Behaviour into Business Models Using a Model Driven Approach
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
Peter F. Linington, Pulitha Liyanagama
PERCOM
2007
ACM
16 years 6 months ago
A State-Based Programming Model and System for Wireless Sensor Networks
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
Urs Bischoff, Gerd Kortuem
ICC
2009
IEEE
118views Communications» more  ICC 2009»
16 years 1 months ago
A First Order Logic Security Verification Model for SIP
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
Dimitris Geneiatakis, Costas Lambrinoudakis, Georg...
ISMIR
2005
Springer
205views Music» more  ISMIR 2005»
16 years 12 days ago
Learning Harmonic Relationships in Digital Audio with Dirichlet-Based Hidden Markov Models
Harmonic analysis is a standard musicological tool for understanding many pieces of Western classical music and making comparisons among them. Traditionally, this analysis is done...
J. Ashley Burgoyne, Lawrence K. Saul