478 search results - page 53 / 96 » Behavioral Specification of Real-Time Requirements |
CACM
1998
13 years 7 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
Electronic energy disorder associated within amorphous and polycrystaline molecular organic thin film structures strongly affects the macroscopic observable behavior of organic fi...
RTAS
2007
IEEE
14 years 1 months ago
2007
IEEE
Over the last thirty years, the MIL-STD 1553B data bus has been used in many embedded systems, like aircrafts, ships, missiles and satellites. However, the increasing number and c...
CICLING
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...