Sciweavers

268 search results - page 18 / 54
» Tools and techniques for rapid porting
Sort
View
FORMATS
2007
Springer
15 years 1 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
TOOLS
1991
IEEE
15 years 1 months ago
INGRID - an Object-Oriented Interface Builder
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
Luís Carriço, Nuno Guimarães,...
SIMVIS
2008
14 years 11 months ago
Hybrid Scheduling in the DeVIDE Dataflow Visualisation Environment
Dataflow application builders such as AVS, OpenDX and MeVisLab are popular and effective tools for the rapid prototyping of visualisation algorithms. They enable researchers to bu...
Charl P. Botha, Frits H. Post
CHI
2007
ACM
15 years 10 months ago
UI toolkit for non-designers in the enterprise applications industry
This report describes a user interface (UI) toolkit used for prototyping by non-designers. The toolkit enables the development of standardized UI wireframes and click-through prot...
Liang-Cheng Lin, Wai On Lee
CEAS
2007
Springer
15 years 4 months ago
Image Spam Filtering by Content Obscuring Detection
We address the problem of filtering image spam, a rapidly spreading kind of spam in which the text message is embedded into attached images to defeat spam filtering techniques b...
Battista Biggio, Giorgio Fumera, Ignazio Pillai, F...