226 search results - page 35 / 46 » IF: A Validation Environment for Timed Asynchronous Systems |
ANLP
1994
13 years 10 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
HICSS
1997
IEEE
14 years 24 days ago
1997
IEEE
Variousproposals have been madefor new paradigms for operating the restructuring electrical system. One of the key challenges associated with this restructuring is to effectively ...
EAAI
2007
13 years 8 months ago
2007
Multi-agent systems are widely used to address large-scale distributed combinatorial applications in the real world. One such application is meeting scheduling (MS), which is de�...
AFRIGRAPH
2004
ACM
14 years 2 months ago
2004
ACM
In the real world, the human eye is confronted with a wide range of luminances from bright sunshine to low night light. Our eyes cope with this vast range of intensities by adapta...
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
As software evolves, maintenance practices require a process of accommodating changing requirements while minimizing the cost of implementing those changes. Over time, incompatibi...