478 search results - page 29 / 96 » Behavioral Specification of Real-Time Requirements |
HICSS
2003
IEEE
14 years 26 days ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
The usability of APIs is increasingly important to programmer productivity. Based on experience with usability studies of specific APIs, techniques were explored for studying the ...
ISCC
1999
IEEE
13 years 12 months ago
1999
IEEE
For multimedia senders to benefit the most of dynamically changing availability of network resources they need to adjust their transmission behavior in accordance with the network...
AIPS
2000
13 years 9 months ago
2000
Planning for real robots to act in dynamic and uncertain environments is a challenging problem. A complete model of the world is not viable and an integration of deliberation and ...
ISTA
2001
13 years 9 months ago
2001
: Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preco...