1585 search results - page 243 / 317 » A framework for computer-aided validation |
115
Voted
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
134
Voted
IEEEARES
2010
IEEE
15 years 8 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
110
Voted
ASYNC
1998
IEEE
15 years 8 months ago
1998
IEEE
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...
117
Voted
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, Accountability Centered Approach (ACA) is proposed for business process engineering. The ACA approach enables the designers and users to focus on the requirements a...
148
Voted
UML
1998
Springer
15 years 8 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...