2502 search results - page 361 / 501 » Using probabilistic model checking in systems biology |
153
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
136
click to vote
ENTCS
2007
15 years 4 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
168
Voted
IANDC
2007
15 years 4 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
144
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
158
click to vote
SEKE
1995
Springer
15 years 8 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...