Sciweavers

1781 search results - page 285 / 357
» An Emerging Need for a New Software Engineering Method
Sort
View
ACSC
2006
IEEE
15 years 5 months ago
Manufacturing opaque predicates in distributed systems for code obfuscation
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
Anirban Majumdar, Clark D. Thomborson
BCSHCI
2007
15 years 13 days ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves
CAV
2009
Springer
132views Hardware» more  CAV 2009»
15 years 11 months ago
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
Thao Dang, David Salinas
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 5 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...
CBSE
2005
Springer
15 years 4 months ago
Optimizing Resource Usage in Component-Based Real-Time Systems
This report presents data regarding simulation setup, the genetic algorithms setup and a short description to the use of the genetic algorithms. This report is written in the conte...
Johan Fredriksson, Kristian Sandström, Mikael...