Sciweavers

3091 search results - page 251 / 619
» The Microsoft Relational Engine
Sort
View
ADAEUROPE
2004
Springer
16 years 1 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 19 hour 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 15 hour 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
15 years 12 months 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
15 years 12 months 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...