Sciweavers

1443 search results - page 68 / 289
» Aging Users are Still Users
Sort
View
ICSE
2009
IEEE-ACM
15 years 11 months ago
Towards a framework for supporting software modeling activities through novel interaction and visualization techniques
Though there is a multitude of software modeling tools available, the handling of diagrams, which are an essential way of representation, is still difficult. To overcome these pr...
Mathias Frisch, Raimund Dachselt
CBSE
2007
Springer
15 years 11 months ago
Binary Change Set Composition
Binary component-based software updates that are efficient, safe and generic still remain a challenge. Most existing deployment systems that achieve this goal have to control the c...
Tijs van der Storm
ASIACRYPT
1999
Springer
15 years 9 months ago
ECC: Do We Need to Count?
Abstract. A prohibitive barrier faced by elliptic curve users is the difficulty of computing the curves’ cardinalities. Despite recent theoretical breakthroughs, point counting ...
Jean-Sébastien Coron, Helena Handschuh, Dav...
HPCN
1998
Springer
15 years 9 months ago
Supercomputing at the Desktop: An Improved Interface Using Internet Facilities
The traditional complex access procedure still prevents a lot of scientists to migrate their applications to massively parallel computers and to bene t from their computing power. ...
Bernhard Bühlmann, Hanspeter Bieri
FM
1994
Springer
104views Formal Methods» more  FM 1994»
15 years 8 months ago
Seven More Myths of Formal Methods
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
Jonathan P. Bowen, Michael G. Hinchey