Sciweavers

2437 search results - page 345 / 488
» Model-Driven Software Adaptation
Sort
View
122
Voted
ISSAC
2009
Springer
150views Mathematics» more  ISSAC 2009»
15 years 9 months ago
On finding multiplicities of characteristic polynomial factors of black-box matrices
We present algorithms and heuristics to compute the characteristic polynomial of a matrix given its minimal polynomial. The matrix is represented as a black-box, i.e., by a functi...
Jean-Guillaume Dumas, Clément Pernet, B. Da...
113
Voted
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 9 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
AINA
2008
IEEE
15 years 9 months ago
WS-BPEL Process Compiler for Resource-Constrained Embedded Systems
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
Hendrik Bohn, Andreas Bobek, Frank Golatowski
HICSS
2008
IEEE
132views Biometrics» more  HICSS 2008»
15 years 9 months ago
Service Systems as Customer-Intensive Systems and Its Implications for Service Science and Engineering
What does differentiate service systems from traditional subjects of systems engineering such as manufacturing, and software? We address this issue by defining customer-intensive ...
Claudio S. Pinhanez
143
Voted
ICMCS
2008
IEEE
336views Multimedia» more  ICMCS 2008»
15 years 9 months ago
SIMD optimization of the H.264/SVC decoder with efficient data structure
H.264/scalable video coding (SVC) is a new compression technique that can adapt to various network environments and applications. However, despite its outstanding performance, H.2...
Joohyun Lee, Gwanggil Jeon, Sangjun Park, Taeyoung...