1564 search results - page 133 / 313 » Tool Support for Architectural Decisions |
151
click to vote
AVI
2008
15 years 8 months ago
2008
Browsing a blog archive is currently not well supported. Users cannot gain an overview of a blog easily, nor do they receive adequate support for finding potentially interesting e...
166
click to vote
PC
2006
15 years 6 months ago
2006
Parallel application development is a very difficult task for non-expert programmers, and therefore support tools are needed for all phases of this kind of application development...
185
Voted
ACSAC
2007
IEEE
16 years 19 days ago
2007
IEEE
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
205
click to vote
WACC
1999
ACM
15 years 10 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...
163
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...