37 search results - page 3 / 8 » Integrating system descriptions by clocked guarded actions |
HOST
2009
IEEE
14 years 2 days ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
ACSD
2003
IEEE
13 years 10 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
AAAI
2008
13 years 7 months ago
2008
How can we facilitate human-robot teamwork? The teamwork literature has identified the need to know the capabilities of teammates. How can we integrate the knowledge of another ag...
JIRS
2000
13 years 5 months ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
VLC
2008
13 years 5 months ago
2008
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...