Sciweavers

1700 search results - page 272 / 340
» Specifying and implementing refactorings
Sort
View
WOTE
2010
15 years 3 months ago
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
Stéphanie Delaune, Steve Kremer, Mark Ryan
CISIS
2009
IEEE
15 years 3 months ago
Evaluation of a Framework for Dynamic Source Selection in Stream Processing
The volume of stream data delivered from different information sources is increasing. There are a variety of demands to utilize such stream data for applications. Stream processin...
Kousuke Ohki, Yousuke Watanabe, Hiroyuki Kitagawa
DLS
2009
150views Languages» more  DLS 2009»
15 years 3 months ago
Fast type reconstruction for dynamically typed programming languages
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
Frédéric Pluquet, Antoine Marot, Roe...
ECMDAFA
2009
Springer
127views Hardware» more  ECMDAFA 2009»
15 years 3 months ago
Derivation and Refinement of Textual Syntax for Models
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...
Florian Heidenreich, Jendrik Johannes, Sven Karol,...
FIW
2009
101views Communications» more  FIW 2009»
15 years 3 months ago
Feature Interaction Detection in the Feature Language Extensions
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
Lei Sun, Lu Zhoa, Yimeng Li, Wu-Hon F. Leung