2255 search results - page 347 / 451 » High Assurance Software Systems |
155
Voted
IWPC
2000
IEEE
15 years 9 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
145
Voted
CSMR
1999
IEEE
15 years 9 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
142
Voted
UIST
1992
ACM
15 years 9 months ago
1992
ACM
It is often difficult in computer graphics applications to understand spatial relationships betweenobjects in a 3D sceneor effect changes to those objects without specialized visu...
141
click to vote
EMNETS
2007
15 years 9 months ago
2007
The Acoustic ENSBox [1] is an embedded platform which enables practical distributed acoustic sensing by providing integrated hardware and software support in a single platform. It...
138
click to vote
EDBTW
2010
Springer
15 years 8 months ago
2010
Springer
The success of organizations or business networks depends on fast and well-founded decisions taken by the relevant people in their specific area of responsibility. To enable time...