10038 search results - page 1643 / 2008 » Model Checking for Managers |
171
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
186
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Iterations are time-boxed periods with an intended outcome that is often a set of implemented requirements. Iterations are part of most common software development lifecycle model...
177
click to vote
LCN
2007
IEEE
16 years 28 days ago
2007
IEEE
—Multicasting has not been widely adopted until now, due to lack of access control over the group members. The Authentication, Authorization and Accounting (AAA) protocols are be...
158
click to vote
BTW
2007
Springer
16 years 25 days ago
2007
Springer
: This is a position paper on multi-tenant databases. As motivation, it first describes the emerging marketplace of hosted enterprise services and the importance of using multi-ten...
182
click to vote
VLSID
2006
IEEE
16 years 19 days ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...