Sciweavers

8949 search results - page 1407 / 1790
» is 1998
Sort
View
ISSTA
1998
ACM
15 years 12 months ago
Computation of Interprocedural Control Dependence
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha
ASSISTIVE
1998
Springer
15 years 12 months ago
Providing Intelligent Language Feedback for Augmentative Communication Users
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...
Christopher A. Pennington, Kathleen F. McCoy
ATAL
1998
Springer
15 years 12 months ago
Content-Based Routing as the Basis for Intra-Agent Communication
In this paper, an agent architecture is proposed that can be used to integrate pre-existing components that provide the domain dependent agent functionality. The key integrating fe...
Nikolaos Skarmeas, Keith L. Clark
ATAL
1998
Springer
15 years 12 months ago
Intention Reconsideration Reconsidered
Abstract. In this paper, we consider the issue of designing agents that successfully balance the amount of time spent in reconsidering their intentions against the amount of time s...
Michael Wooldridge, Simon Parsons
B
1998
Springer
15 years 12 months ago
Introducing Dynamic Constraints in B
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
Jean-Raymond Abrial, Louis Mussat
« Prev « First page 1407 / 1790 Last » Next »