6253 search results - page 545 / 1251 » Use Case Modeling Guidelines |
212
click to vote
EMSOFT
2004
Springer
16 years 15 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
169
click to vote
SAPIR
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. As computer networks grow in size, both physically and geographically, more scalable solutions to network administration are becoming necessary. This need is amplified by...
215
click to vote
CONEXT
2007
ACM
15 years 11 months ago
2007
ACM
We propose an economic model based on user utility to study the adoption of new network architectures such as IPv6. We use mathematical analysis and simulation studies to understa...
213
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
183
click to vote
MEDINFO
2007
15 years 8 months ago
2007
The nature of the internet as a non-peer-reviewed (and more generally largely unregulated) publication medium has allowed wide-spread promotion of inaccurate and unproven medical ...