882 search results - page 7 / 177 » Allowing State Changes in Specifications |
INTERACTIONS
2010
13 years 8 months ago
2010
rate, the CCHI is defined abstractly as a metric that can be stated in ordinary language and diagrams that allows people to answer the following three questions related to sustaina...
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
VRML
1998
ACM
14 years 2 months ago
1998
ACM
VRML 2.0 allows a content creator to dynamically control state changes in a virtual reality world by defining routes of events over VRML 2.0 nodes. In the conceptual execution mod...
ECBS
1999
IEEE
14 years 2 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
AIPS
1996
13 years 11 months ago
1996
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...