4460 search results - page 78 / 892 » Formal methods for interactive systems |
WCRE
1995
IEEE
14 years 15 days ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
BIOCOMP
2006
13 years 10 months ago
2006
: A novel, non-touch, screen pointing "magic wand" interface is proposed for surgeon's use in an environment requiring simultaneous display of several patients'...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
AAECC
1993
Springer
14 years 1 months ago
1993
Springer
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
CIBB
2009
13 years 10 months ago
2009
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...