5407 search results - page 1027 / 1082 » The Software Engineering Global Model |
ICPP
1995
IEEE
15 years 1 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
109
click to vote
IMAMS
2007
14 years 11 months ago
2007
Conformal geometry is in the core of pure mathematics. Conformal structure is more flexible than Riemaniann metric but more rigid than topology. Conformal geometric methods have p...
AIS
1999
Springer
14 years 9 months ago
1999
Springer
The past decade has seen the development of a perspective holding that technology is socially constructed (Mackenzie and Wacjman, 1985; Bijker, Hughes and Pinch, 1987; Bijker and L...
SIMPRA
2010
14 years 8 months ago
2010
In this paper we derive the singularity-free dynamic equations of vehiclemanipulator systems using a minimal representation. These systems are normally modeled using Euler angles,...
158
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...