4418 search results - page 450 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
200
click to vote
RULEML
2010
Springer
15 years 5 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
198
click to vote
AAAI
2000
15 years 8 months ago
2000
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
158
click to vote
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
196
click to vote
MM
2004
ACM
16 years 9 days ago
2004
ACM
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...
159
click to vote
FPL
2004
Springer
16 years 8 days ago
2004
Springer
Complex SoC and platform-based designs require integration of configurable IP cores from multiple sources. Even automatic compilation flows from a high-level description to HW/SW s...