1011 search results - page 72 / 203 » Exception Analysis for Java |
CAV
2000
Springer
14 years 1 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
ASUNAM
2009
IEEE
14 years 4 months ago
2009
IEEE
With few exceptions, statistical analysis of social networks is currently focused on cross-sectional or panel data. On the other hand, automated collection of network-data often p...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— We present an analytical study on the error performance of differential unitary space-time modulation (DUSTM) over multiple-input multiple-output (MIMO) channels with n...
HAPTICS
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract. We analyze the stability of previously proposed mobile robot teleoperation system [7]. Unlike to other approaches human-operator dynamics is included for the stability an...
EPIA
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...