271 search results - page 46 / 55 » Preserving Software Quality Characteristics from Requirement... |
161
click to vote
DSOM
1999
Springer
15 years 10 months ago
1999
Springer
: Solutions in the network and service management layers of telecommunications management architectures are currently fragmented both in terms of standards and products. It is ofte...
167
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
166
click to vote
COMSWARE
2006
IEEE
15 years 9 months ago
2006
IEEE
Applications using traditional protocol stacks (e.g TCP/IP) from wired networks do not function efficiently in mobile wireless scenarios. This is primarily due to the layered archi...
217
click to vote
LSGRID
2004
Springer
15 years 11 months ago
2004
Springer
Many useful applications of simulation in computational cell biology, e.g. kinetic parameter estimation, Metabolic Control Analysis (MCA), and bifurcation analysis, require a large...
168
click to vote
HICSS
2007
IEEE
16 years 9 days ago
2007
IEEE
Effective provisioning of next generation distributed applications hosted on diverse middleware platforms incurs significant challenges due to the applications’ growing complex...