Sciweavers

6293 search results - page 160 / 1259
» Information Flow Testing
Sort
View
ET
1998
99views more  ET 1998»
15 years 3 months ago
A Behavior Model for Next Generation Test Systems
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
Lee A. Shombert, John W. Sheppard
IWQOS
2005
Springer
15 years 8 months ago
Implicit Flow QoS Signaling Using Semantic-Rich Context Tags
An important feature of future context-aware and adaptive networks would be the ability to provide QoS to user flows. Our approach enables end-hosts and other devices to expose an...
Roel Ocampo, Alex Galis, Hermann de Meer, Chris To...
ICDCSW
2002
IEEE
15 years 8 months ago
Stability of Autonomous Decentralized Flow Control Schemes in High-Speed Networks
This paper focuses on flow control in high-speed networks. Each node in the networks handles its local traffic flow only on the basis of the information it knows, but it is pre...
Masaki Aida, Chisa Takano
BPM
2000
Springer
133views Business» more  BPM 2000»
15 years 7 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst
POPL
1995
ACM
15 years 6 months ago
A Type System Equivalent to Flow Analysis
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
Jens Palsberg, Patrick O'Keefe