Sciweavers

5457 search results - page 215 / 1092
» Clinical requirements engineering
Sort
View
DAMON
2008
Springer
15 years 8 months ago
Critical sections: re-emerging scalability concerns for database storage engines
Critical sections in database storage engines impact performance and scalability more as the number of hardware contexts per chip continues to grow exponentially. With enough thre...
Ryan Johnson, Ippokratis Pandis, Anastasia Ailamak...
SE
2008
15 years 8 months ago
Integrating Software Lifecycle Models into a uniform Software Engineering Model
: Software lifecycle models differ in their artifacts as well as in the dependencies between the included tasks and activities. Therefore support-tools, which support these lifecyc...
Jonas Helming
ADBIS
2010
Springer
173views Database» more  ADBIS 2010»
15 years 6 months ago
Applying the UFO Ontology to Design an Agent-Oriented Engineering Language
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
Renata S. S. Guizzardi, Giancarlo Guizzardi
COMCOM
2006
117views more  COMCOM 2006»
15 years 6 months ago
End-to-end quality of service provisioning through inter-provider traffic engineering
This paper addresses the issue of delivering solutions that will enable the incremental implementation of inter-domain quality of service (QoS) in the multi-provider commercial In...
Michael P. Howarth, Mohamed Boucadair, Paris Flegk...
TSE
2010
125views more  TSE 2010»
15 years 5 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin