2274 search results - page 278 / 455 » Qualitative Modeling for Requirements Engineering |
181
click to vote
TASE
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
148
click to vote
AGILEDC
2007
IEEE
16 years 26 days ago
2007
IEEE
This report outlines the experiences of the Microsoft Visual Studio Tools for Office product unit (hereafter referred to as “product unit”) as it applied agile principles and ...
123
click to vote
COMPSAC
2005
IEEE
16 years 3 days ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
157
click to vote
ADAEUROPE
2005
Springer
16 years 1 days ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...
195
click to vote
ICCS
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...