6800 search results - page 1014 / 1360 » Testing with Functions as Specifications |
165
click to vote
CCR
2006
15 years 6 months ago
2006
The presence of "unwanted" (or background) traffic in the Internet is a well-known fact. In principle any network that has been engineered without taking its presence in...
173
click to vote
CN
2006
15 years 6 months ago
2006
In today' s competitive electric utility marketplace, real-time information becomes the key factor for reliable delivery of power to the end-users, profitability of the electr...
180
click to vote
COMCOM
2006
15 years 6 months ago
2006
Monitoring has become one of the key issues for the successful deployment of IP multicast in the Internet. During the last decade, several tools and systems have been developed to ...
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...
193
click to vote
IJCIS
2006
15 years 6 months ago
2006
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...