7080 search results - page 1372 / 1416 » Designing High Integrity Systems Using Aspects |
120
click to vote
AMOST
2007
ACM
15 years 2 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
JISBD
2001
15 years 8 days ago
2001
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
The main aim of the work presented here is to contribute to computer science advances in the multimodal usability area, in-as-much as it addresses one of the major issues relating...
109
Voted
AAMAS
2005
Springer
14 years 10 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
UIST
2010
ACM
14 years 8 months ago
2010
ACM
Tabletop applications cannot display more than a few dozen on-screen objects. The reason is their limited size: tables cannot become larger than arm's length without giving u...