Sciweavers

1148 search results - page 114 / 230
» Software engineering considered harmful
Sort
View
IOLTS
2008
IEEE
91views Hardware» more  IOLTS 2008»
15 years 10 months ago
Physical Demonstration of Polymorphic Self-Checking Circuits
Polymorphic gates can be considered as a new reconfigurable technology capable of integrating logic functions with sensing in a single compact structure. Polymorphic gates whose ...
Richard Ruzicka, Lukás Sekanina, Roman Prok...
IOLTS
2006
IEEE
68views Hardware» more  IOLTS 2006»
15 years 9 months ago
Power Attacks on Secure Hardware Based on Early Propagation of Data
The early propagation effect found in many logic gates is a potential source of data-dependent power consumption. We show that the effect and the corresponding power dependency ca...
Konrad J. Kulikowski, Mark G. Karpovsky, Alexander...
WECWIS
2005
IEEE
201views ECommerce» more  WECWIS 2005»
15 years 9 months ago
A Categorization of Collaborative Business Process Modeling Techniques
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a n...
Stephan Roser, Bernhard Bauer
145
Voted
FOSSACS
2005
Springer
15 years 9 months ago
Axiomatizations for Probabilistic Finite-State Behaviors
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
Yuxin Deng, Catuscia Palamidessi
FSTTCS
2005
Springer
15 years 9 months ago
Non-disclosure for Distributed Mobile Code
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
Ana Almeida Matos