8627 search results - page 1590 / 1726 » Software Engineering Using RATionale |
189
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
157
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— Heterogeneous Chip Multiprocessors (HMPs), such as the Cell Broadband Engine, offer a new design optimization opportunity by allowing designers to provide accelerators for appl...
200
click to vote
Publication
This paper presents a novel framework for detecting non-flat abandoned objects by matching a reference and a target video sequences. The reference video is taken by a moving camera...
194
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
178
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...