Sciweavers

3091 search results - page 251 / 619
» The Microsoft Relational Engine
Sort
View
ADAEUROPE
2004
Springer
16 years 21 days ago
Implementing an Application-Defined Scheduling Framework for Ada Tasking
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
Mario Aldea Rivas, Francisco Javier Miranda Gonz&a...
EWSA
2004
Springer
16 years 20 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
HSNMC
2004
Springer
133views Multimedia» more  HSNMC 2004»
16 years 20 days ago
Network Convergence over MPLS
Multiprotocol Label Switching (MPLS) is emerging as a flexible technology that can transport voice, IPv4, IPv6, layer 2 services (Frame Relay, ATM, Ethernet, etc.), and even PDH an...
Enrique Vázquez, Manuel Alvarez-Campana, An...
RE
2004
Springer
16 years 19 days ago
Helping Analysts Trace Requirements: An Objective Look
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution...
Jane Huffman Hayes, Alex Dekhtyar, Senthil Karthik...
RE
2004
Springer
16 years 19 days ago
Composing Requirements Using Problem Frames
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
Robin C. Laney, Leonor Barroca, Michael Jackson, B...