Sciweavers

2730 search results - page 327 / 546
» An Abstract Model for Process Mediation
Sort
View
ECCV
2006
Springer
16 years 8 months ago
Variational Shape and Reflectance Estimation Under Changing Light and Viewpoints
Abstract. Fitting parameterized 3D shape and general reflectance models to 2D image data is challenging due to the high dimensionality of the problem. The proposed method combines ...
Dana Cobzas, Martin Jägersand, Neil Birkbeck,...
AIIA
2007
Springer
16 years 9 days ago
Evolving Complex Neural Networks
Abstract. Complex networks like the scale-free model proposed by BarabasiAlbert are observed in many biological systems and the application of this topology to artificial neural ne...
Mauro Annunziato, Ilaria Bertini, Matteo De Felice...
149
Voted
HIPEAC
2005
Springer
15 years 11 months ago
Memory-Centric Security Architecture
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
Weidong Shi, Chenghuai Lu, Hsien-Hsin S. Lee
WOSP
2004
ACM
15 years 11 months ago
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
Juan Pablo López-Grao, José Mersegue...
159
Voted
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 11 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...