624 search results - page 38 / 125 » Application of Lightweight Formal Methods to Software Securi... |
130
click to vote
BCSHCI
2007
15 years 5 months ago
2007
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...
127
click to vote
WICSA
2008
15 years 5 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...
144
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
124
click to vote
MATA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Mobile agent systems provide new perspectives for distributed e-commerce applications. These applications may present specific restrictions, making mobile agent systems ...
107
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...