9806 search results - page 1666 / 1962 » Engineering adaptive requirements |
160
click to vote
ICFEM
2005
Springer
16 years 8 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...
187
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
147
click to vote
ICN
2005
Springer
16 years 8 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...
162
click to vote
ICSOC
2005
Springer
16 years 8 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...
164
click to vote
PAM
2005
Springer
16 years 7 days ago
2005
Springer
A number of key areas in IP network engineering, management and surveillance greatly benefit from the ability to dynamically identify traffic flows according to the applications re...