253 search results - page 31 / 51 » How to Transform an Analyzer into a Verifier |
ISMIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Information graphics such as bar, line and pie charts appear frequently in electronic media and often contain information that is not found elsewhere in documents. Unfort...
SCAM
2002
IEEE
14 years 14 days ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
We propose a notion of a stable partition in a coalitional game that is parametrized by the concept of a defection function. This function assigns to each partition of the grand c...
SIAMCO
2008
13 years 7 months ago
2008
We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this...
JSS
2007
13 years 7 months ago
2007
The paper presents a method to compute performance metrics (response time, sojourn time, throughput) on Unified Modeling Language design. The method starts with UML design annota...