4377 search results - page 142 / 876 » Application Driven Software Development |
148
click to vote
WETICE
2005
IEEE
15 years 10 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
167
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
143
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
136
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
In ubiquitous computing era, the notion of context-awareness will play an important role. An application should be aware of its operating context for supporting and enriching huma...
180
click to vote
ECBS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we focus on the architecture-based development of what we call directly reactive information systems on the Internet. These systems exhibit full content management o...