5180 search results - page 802 / 1036 » Requirements Engineering |
213
click to vote
FSTTCS
2005
Springer
16 years 4 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
184
click to vote
ICESS
2005
Springer
16 years 3 days ago
2005
Springer
: This paper presents a simple and efficient switched Ethernet communication protocol for industrial hard real-time LAN applications. The network is founded with end nodes and a sw...
156
click to vote
ICFEM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
145
click to vote
ICN
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...
161
click to vote
ICSOC
2005
Springer
16 years 3 days ago
2005
Springer
The tuplespace system is a popular cooperative communication paradigm in service-oriented computing. Tuple matching in existing tuplespace systems is either type-based or object-ba...