3384 search results - page 101 / 677 » More Testable Properties |
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
— It is natural to envisage that in a telephone network, some telephone numbers originate or receive more calls than others. Indeed, real-life data have verified the conjecture ...
IWSOS
2007
Springer
14 years 3 months ago
2007
Springer
Self-organizing systems are present in many areas of nature and science, and have more recently been increasingly applied to telecommunications. These systems often exhibit common ...
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
SOFSEM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. After text retrieval, the next waves in web searching and multimedia retrieval are the search for and delivery of images, music, video, and 3D scenes. Not only the percep...
VMCAI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...