Sciweavers

8493 search results - page 1355 / 1699
» Implementing a distributed firewall
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 9 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
140
Voted
ICIAP
1999
ACM
15 years 9 months ago
Determining the Skeletons of the Auroras
The auroral emissions observed in the high-latitude regions encircling the magnetic poles are a key element in studying plasmaphysical processes in the near-Earth space, the magne...
Mikko T. Syrjäsuo, Tuija I. Pulkkinen
135
Voted
HIPS
1998
IEEE
15 years 9 months ago
Language Bindings for a Data-Parallel Runtime
The NPAC kernel runtime, developed in the PCRC Parallel Compiler Runtime Consortium project, is a runtime library with special support for the High Performance Fortran data model....
Bryan Carpenter, Geoffrey Fox, Donald Leskiw, Xiao...
IWAN
1999
Springer
15 years 9 months ago
Policy Specification for Programmable Networks
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
Morris Sloman, Emil Lupu
RE
1999
Springer
15 years 9 months ago
Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
Peter Haumer, Matthias Jarke, Klaus Pohl, Patrick ...
« Prev « First page 1355 / 1699 Last » Next »