416 search results - page 9 / 84 » Enough of Processes - Lets do Practices |
107
click to vote
FMAM
2010
14 years 7 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
CASCON
2006
14 years 11 months ago
2006
Software architecture can be a critical factor in software development. Understanding what software architects do in practice is necessary to the enterprise of providing technique...
ICSEA
2006
IEEE
15 years 3 months ago
2006
IEEE
In recent years component-based development has in resent years become an established approach. Component-based Software Engineering (CBSE) that deals with the entire lifecycle of ...
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
CCS
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we propose a new practical identity-based encryption scheme which is suitable for wireless sensor network (WSN). We call it Receiver-Bounded Online/Offline Identity...