2539 search results - page 120 / 508 » Debugging Method Names |
198
click to vote
SOFTWARE
2011
14 years 9 months ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...
90
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
111
click to vote
GEM
2007
15 years 3 months ago
2007
This paper presents a new method named “Life cycle model” for optimal placement of Distributed Generators in a distribution network. The impact of DG at the distribution level...
127
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate....
90
Voted
CSJM
2008
15 years 2 months ago
2008
We investigate a certain quartic integral from V. Moll's book "Irresistible Integrals" and demonstrate how it can be solved by computer algebra methods, namely by u...