Sciweavers

3792 search results - page 30 / 759
» Techniques for Trusted Software Engineering
Sort
View
CISIS
2009
IEEE
14 years 4 months ago
A Lightweight Implementation of Trusted Domain Enforcement for Secure Embedded Web Server
—Deployment of open source software for embedded system is increasing while ubiquitous devices have become widely used. System designer need to cope with malicious input which is...
Ruo Ando
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
14 years 1 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
DEXAW
2003
IEEE
99views Database» more  DEXAW 2003»
14 years 3 months ago
A Coloured Petri Net Trust Model
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
Peter Lory
SEKE
2007
Springer
14 years 4 months ago
Real-Time Trust Management in Agent Based Online Auction Systems
Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, w...
Rinkesh Patel, Haiping Xu, Ankit Goel
APSEC
2006
IEEE
14 years 4 months ago
An Approach of a Technique for Effort Estimation of Iterations in Software Projects
The estimation of effort and cost is still one of the hardest tasks in software project management. At the moment, there are many techniques to accomplish this task, such as Funct...
José Antonio Pow-Sang, Enrique Jolay-Vasque...