3507 search results - page 619 / 702 » Slicing for architectural analysis |
200
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
Visual search connects physical (offline) objects with (online) digital media. Using objects from the environment, like newspapers, magazines, books and posters, we can retrieve s...
153
click to vote
NPC
2010
Springer
15 years 4 months ago
2010
Springer
This paper introduces the DUP System, a simple framework for parallel stream processing. The DUP System enables developers to compose applications from stages written in almost any...
175
click to vote
RAID
2010
Springer
15 years 4 months ago
2010
Springer
Malicious software includes functionality designed to block discovery or analysis by defensive utilities. To prevent correct attribution of undesirable behaviors to the malware, it...
216
click to vote
SOSYM
2010
15 years 4 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
181
click to vote
STTT
2010
15 years 4 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...