Sciweavers

3514 search results - page 320 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
ICST
2009
IEEE
15 years 1 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
128
Voted
FOSSACS
2005
Springer
15 years 9 months ago
Foundations of Web Transactions
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
Cosimo Laneve, Gianluigi Zavattaro
MM
2006
ACM
151views Multimedia» more  MM 2006»
15 years 10 months ago
News video search with fuzzy event clustering using high-level features
Precise automated video search is gaining in importance as the amount of multimedia information is increasing at exponential rates. One of the drawbacks that make video retrieval ...
Shi-Yong Neo, Yantao Zheng, Tat-Seng Chua, Qi Tian
KCAP
2005
ACM
15 years 9 months ago
An Approach to Ontology Mapping Negotiation
Ontology mapping negotiation aims to achieve consensus among real-world entities about the process of transforming information between different models (ontologies). This paper de...
Nuno Silva, Paulo Maio, João Rocha
APSCC
2008
IEEE
15 years 10 months ago
A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
Yanguo Liu, Issa Traoré, Alexander M. Hoole