2796 search results - page 272 / 560 » A time structure based software reliability model |
130
click to vote
DOCENG
2006
ACM
15 years 10 months ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
139
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
140
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
152
click to vote
FLAIRS
2010
15 years 7 months ago
2010
Intelligent software agents (agents) adhering to the action selection paradigm have only one primary task that they need accomplish at any given time: to choose their next action....
178
click to vote
CEEMAS
2001
Springer
15 years 9 months ago
2001
Springer
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...